読みやすい・教えやすい本です
★★★★★
現在、大学2年次の講義「オートマトンと形式言語」の教科書として使っている。この分野のほとんどすべての本は、定理とその証明が続いて、教科書としては非常に使いづらい。その点、この本には定理も証明もない(何故か7章にだけ出てくる。著者同士のすり合わせのミスか?)。直感的な説明と例で概念を理解させるように丁寧に記述している。また、随所に基礎的な問があり、章の最後には理解を深める演習問題がついている。それらの解答も省略なしで懇切丁寧である。さらに、オートマトンの動きを実際に見せるように作られた補助教材(pptファイル)が近代科学社のHPからダウンロードできる。スグレモノ教材である。