計算機の最も基本的な概念の代表的地位を占める"オートマトン"と"形式言語"について、具体的な理解しやすい事柄から始め、より一般的概念の提示へとボトムアップ的に解説。形式的な厳密さを極力保持しながら、例・図を豊富に使い平易に説明することを最優先した親しみやすい入門書。