例解図説 オートマトンと形式言語入門｜森北出版株式会社オートマトンや形式言語の概念を直観的に理解できるように配慮した，コンパクトなテキストです． 図や例を豊富に用いるとともに，理解を深めるのに重要な定理については例を用いて証明の流れを説明していますので，難解になりがちな数学的内容をつまずくことなく学べます． つまずきやすい点を意識して説明を補っていますので，初めて学ぶ読者におすすめの一冊です． 第1章 オートマトンと形式言語ことはじめ 第2章 有限状態オートマトン 第3章 文法 第4章 プッシュダウンオートマトンと文脈自由文法 第5章 チューリングマシン 第6章 チョムスキーの階層 第7章 チューリングマシンの停止問題
コンピュータとは何だろうか（第3版）｜森北出版株式会社
