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

著者名：岡留剛

森北出版（2021/11発売）

• ISBN：9784627852716

内容説明

オートマトンや形式言語の概念を直観的に理解できるように配慮した，コンパクトなテキストです．
図や例を豊富に用いるとともに，理解を深めるのに重要な定理については例を用いて証明の流れを説明していますので，難解になりがちな数学的内容をつまずくことなく学べます．

つまずきやすい点を意識して説明を補っていますので，初めて学ぶ読者におすすめの一冊です．

目次

第1章　オートマトンと形式言語ことはじめ
第2章　有限状態オートマトン
第3章　文法
第4章　プッシュダウンオートマトンと文脈自由文法
第5章　チューリングマシン
第6章　チョムスキーの階層
第7章　チューリングマシンの停止問題

感想・レビュー

※以下の感想・レビューは、株式会社ドワンゴの提供する「読書メーター」によるものです。

[酸漿]

わかりやすい

2019/10/11