科学技術と共に歩む

オートマトン・形式言語理論

• 広瀬 貞樹 富山大名誉教授・顧問 著

大学，短大，高専等におけるオートマトン・形式言語理論に関する講義のテキストである。本書が扱うのは理論であるが，証明は一切でてこない。多くの例とわかりやすい解説で直観的に考え方を理解できるよう心がけた。

電子情報通信レクチャーシリーズ B-6

オートマトン・言語と計算理論

• 電子情報通信学会 編
• 岩間 一雄 京大名誉教授・国立清華大学教授 著

計算機では，解ける問題，解けない問題，解けることは解けるが時間がかかって手に負えない問題の3種類が存在する。このことを把握するため，計算機のモデルを正確に理解し上手に使えるように指導するのが本書の目的である。

形式言語と有限オートマトン入門 - 例題を中心とした情報の離散数学 -

• 小倉 久和 福井大名誉教授 著

記号処理はコンピュータの基本的な機能である。本書は，記号処理の基本である形式言語とオートマトンの基礎的な概念について，例題を多数挙げ解説する形式で系統的に記述した。