意味プログラムの構文を機械命令列に変換する。文法は、多くの場合、生成規則で記述される文法が異なっても、生成する言語は同じときがある。あるというある文法では、生成規則の適用順序や適用規則が異なるにも関わらず、同じ文が生成されることがある。正規文法と有限オートマトン正規文法で定義できる言語と、有限オートマトンで定義できる言語とは一致する。a.の一組に対し、高々一つの状態しかないことを言う。よって受理されるというある言語に属するすべての文字列があるオートマトンによって受理されるとき、その言語は受理可能と言う有限状態オートマトンを表示するには、遷移図が便利である。状態する最小のものはどうやって見つけることができるか。grammarsTuring機械なみ。issue?Send。