オートマトンとは，現在のコンピュータを抽象化して得られる数学的モデルである。この本は，そのうちで最も単純なモデルである有限オートマトンを扱い，それに関連する事項に限定してわかりやすく説明した。計算機科学を専攻する読者の方々必読の入門書である。