例解図説オートマトンと形式言語入門

森北出版
岡留剛　

• 価格: 2,420円（本体2,200円＋税）
• 発行年月: 2015年08月
• 判型: Ａ５
• ISBN: 9784627852716

内容情報

[BOOKデータベースより]

豊富な図と例で丁寧に説明しているから、初学者でもつまずきにくい。入門書に最適な、コンパクトな一冊。

第１章　オートマトンと形式言語ことはじめ
第２章　有限状態オートマトン
第３章　文法
第４章　プッシュダウンオートマトンと文脈自由文法
第５章　チューリングマシン
第６章　チョムスキーの階層
第７章　チューリングマシンの停止問題

[日販商品データベースより]

オートマトンや形式言語の概念を直観的に理解できるように配慮した、コンパクトなテキスト。図や例を豊富に用いるとともに、理解を深めるのに重要な定理については例を用いて証明の流れを説明した。