目次
１ 形式言語
２ 有限オートマトン
３ プッシュダウンオートマトン
４ チューリング機械と線形拘束オートマトン
５ 形式文法
６ 有限オートマトンと正規文法
７ プッシュダウンオートマトンと文脈自由文法
８ 線形拘束オートマトンと文脈依存文法：チューリング機械と句構造文法
著者等紹介
広瀬貞樹［ヒロセサダキ］
１９８０年東北大学大学院工学研究科博士課程修了（情報工学専攻）、工学博士。株式会社富士通研究所勤務。１９８４年神奈川大学工学部助教授。１９８９年富山大学工学部助教授。１９９８年富山大学工学部教授。２００８年富山大学工学部長。２０１１年富山大学理事・副学長（本データはこの書籍が刊行された当時に掲載されていたものです）
※書籍に掲載されている著者及び編者、訳者、監修者、イラストレーターなどの紹介情報です。
