内容説明
基本事項に絞ってやさしく解説した教科書です．掛け算を認識するオートマトンや，英文を定める形式文法のようにイメージしやすい具体例を載せることで，直観的に理解できるように書かれています．数学的に厳密な説明を抑え，本文を読めばわかるようにまとめました．
目次
第１章 オートマトンとは
第２章 有限オートマトン
第３章 さまざまな有限オートマトンと有限オートマトンの限界
第４章 正規表現（有限オートマトンの応用）
第５章 プッシュダウンオートマトン
第６章 チューリング機械
第７章 形式文法入門と正規文法
第８章 文脈自由文法
第９章 オートマトンと形式文法の関係
