目次
第１章 はじめの一歩（オートマトンと形式言語；道具としての数学）
第２章 有限オートマトン（記号・語・言語；有限オートマトンと状態遷移グラフ ほか）
第３章 文脈自由言語（形式文法事始め；｛左｜右｜ ｝線形文法 ほか）
第４章 文脈依存言語とその部分クラス（文脈依存文法と線形有界オートマトン；ＣＳＬの性質 ほか）
第５章 チューリング機械と句構造文法（チューリング機械と計算量；決定問題 ほか）
著者等紹介
守屋悦朗［モリヤエツロウ］
１９７０年早稲田大学理工学部数学科卒業。現在、早稲田大学教育学部教授。理学博士
※書籍に掲載されている著者及び編者、訳者、監修者、イラストレーターなどの紹介情報です。
