Forward-Backward algorithm

Forward pass --- Viterbi fast-match

Backward pass --- Stack decoder

Tree-Structured Lattice Generation

Allows for cross-word triphone modeling

The lattice is built dynamically

Viterbi-style hypothesis growing

Language model is tied into the tree