... in-tend for it to generalize and encapsulate best practices,and serve as a testbed for new practices. Dyna is now be-ing used for parsing, machine translation, morphologicalanalysis, grammar ... used for parsing, syntax-basedmachine translation, morphological analysis, grammar induction, and finite-state operations.It is well known that various parsing algorithms for CFG and other formalisms ... probabilities, whichpermits heuristic early stopping before the agenda isempty. With viterbi values, it amounts to uniform-costsearch for the best parse, and an item’s value is guaran-teed...