内容説明
豊富な図と例で丁寧に説明しているから、初学者でもつまずきにくい。入門書に最適な、コンパクトな一冊。
目次
第1章 オートマトンと形式言語ことはじめ
第2章 有限状態オートマトン
第3章 文法
第4章 プッシュダウンオートマトンと文脈自由文法
第5章 チューリングマシン
第6章 チョムスキーの階層
第7章 チューリングマシンの停止問題
著者等紹介
岡留剛[オカドメタケシ]
1988年東京大学大学院情報科学研究科博士課程修了。日本電信電話株式会社入社(NTT基礎研究所研究員)。2009年関西学院大学理工学部人間システム工学科教授。理学博士(本データはこの書籍が刊行された当時に掲載されていたものです)
※書籍に掲載されている著者及び編者、訳者、監修者、イラストレーターなどの紹介情報です。