内容説明
本書は、計算機科学の理論的な基盤である計算理論、オートマトン論や計算量理論の要点を素早く理解できる、理論計算機科学の入門書である。情報科学、情報工学、計算機科学関連の学部学生、大学院生の通年用テキスト、または計算理論とオートマトンに関する半年用テキストとして最適である。さらに、関連分野への橋渡しとして、研究者、技術者の参考書としても十分利用できる。
目次
１ 準備
２ 有限オートマトン
３ 文脈自由言語
４ 帰納的関数
５ Ｔｕｒｉｎｇ機関による関数の計算
６ 帰納的に可算な集合と決定問題
７ 計算量理論の基本概念
８ ＮＰ完全性とＰＳＰＡＣＥ完全性
９ 計算量理論のいくつかの話題
-
- 和書
- バスにのらないひとたち
