内容説明
オートマトンは計算機のモデルであり、機械が計算するとはどのようなことか、機械は種類によって計算能力にどのような差があるか、機械の計算能力には限界があるのかなど、計算機科学の根底に潜む問いに答えるための道具である。一方、形式言語は日本語や英語などの自然言語やＣやＪａｖａなどのプログラミング言語のモデルである。文法によって言語が生成されるとはどのようなことか、言語とは何か、文法は種類によって言語の生成能力にどのような差があるのか、さらには文法の言語生成能力には限界があるのかなどの問いも計算機科学の重要な問題である。形式文法はこれらの問いに答えるための道具である。本書はオートマトン・言語理論の根本的な問いと課題に題材を絞り、丁寧に説明している。
目次
第１章 序論
第２章 有限オートマトン
第３章 プッシュダウンオートマトン
第４章 チューリング機械
第５章 形式文法と形式言語
第６章 オートマトンと形式文法の関係
第７章 言語の階層構造
著者等紹介
米田政明［ヨネダマサアキ］
１９７２年東北大学大学院工学研究科修了。現在、富山大学工学部教授
広瀬貞樹［ヒロセサダキ］
１９８０年東北大学大学院工学研究科修了。現在、富山大学工学部教授
大里延康［オオサトノブヤス］
１９７６年東北大学大学院工学研究科修了。現在、大阪工業大学情報科学部教授
大川知［オオカワサトシ］
１９７９年東北大学大学院工学研究科修了。現在、会津大学コンピュータ理工学部教授
※書籍に掲載されている著者及び編者、訳者、監修者、イラストレーターなどの紹介情報です。
