... induction, and finite-state modeling.1 IntroductionComputational linguistics has become a more experi-mental science. One often uses real-world data to testone’s formal models (grammatical, statistical, ... intensivework, given complex models or a large search space (asin modern statistical parsing and machine translation). Itis a major effort to break into the field with a new system,and modifying ... to jump up a level of abstraction.We offer a new programming language, Dyna, that al-lows one to quickly and easily specify a model s com-binatorial structure. We also offer a compiler, dynac,that...