本書は、計算機科学の理論的な基盤である計算理論、オートマトン論や計算量理論の要点を素早く理解できる、理論計算機科学の入門書である。情報科学、情報工学、計算機科学関連の学部学生、大学院生の通年用テキスト、または計算理論とオートマトンに関する半年用テキストとして最適である。さらに、関連分野への橋渡しとして、研究者、技術者の参考書としても十分利用できる。