内容説明
計算機では、解ける問題、解けない問題、解けることは解けるが時間がかかって手に負えない問題の３種類が存在する。このことを把握するため、計算機のモデルを正確に理解し上手に使えるように指導するのが本書の目的である。
目次
１ 言語とは何か・なぜ必要か
２ 正規表現と有限オートマトン
３ 文脈自由文法
４ プッシュダウンオートマトン
５ チューリング機械と０型文法
６ チューリング機械の停止性と決定問題
７ ＮＰ完全問題
８ 最近の話題―あとがきにかえて
著者等紹介
岩間一雄［イワマカズオ］
１９８０年京都大学大学院博士課程修了（電気工学専攻）。工学博士。現在、京都大学大学院教授。研究テーマは計算量理論、アルゴリズム理論、近似・分散アルゴリズム等の設計と解析、量子アルゴリズム
※書籍に掲載されている著者及び編者、訳者、監修者、イラストレーターなどの紹介情報です。
