These procedures search over a vast space of translations, much larger than is considered by the NMT beam search.
the Hiero context-free grammars that make efficient search possible are weak models of translation.