オートマトン・言語理論の基礎

本書は大学や短大あるいは高専における授業のテキストとして書かれている。 オートマトン・言語理論が扱う題材は多岐にわたるが、本書では思い切って根本的な問いと課題に題材を絞り、その分丁寧にわかりやすく説明することとした。これらの問いと課題に答えていく中で、計算機科学あるいは情報工学の基礎としてのオートマトン理論並びに形式言語理論の持つ考え方が理解でき、その美しさと面白さを十分に味わうことができるからである。 本書が扱うのは理論であるが、本文中に証明は一切ない。わかりやすさのために厳密さを犠牲にした訳ではない。考え方を理解するのに必要なのは多数の例とわかりやすい説明とをもとに学生・生徒諸君が自分で考えることであり、証明は不要だからである。 大学や短大・高専で学ぶ1人でも多くの人がオートマトン・言語理論の基礎を理解し、モデルを用いて推論することの美しさと面白さを体得することによって、ますます進展する高度情報化社会で伸びていくための素養を身につけていただきたい。本書が少しでもその役に立てば幸いである。