オートマトンは計算機のモデルであり、機械が計算するとはどのようなことか、機械は種類によって計算能力にどのような差があるか、機械の計算能力には限界があるのかなど、計算機科学の根底に潜む問いに答えるための道具である。一方、形式言語は日本語や英語などの自然言語やＣやＪａｖａなどのプログラミング言語のモデルである。文法によって言語が生成されるとはどのようなことか、言語とは何か、文法は種類によって言語の生成能力にどのような差があるのか、さらには文法の言語生成能力には限界があるのかなどの問いも計算機科学の重要な問題である。形式文法はこれらの問いに答えるための道具である。本書はオートマトン・言語理論の根本的な問いと課題に題材を絞り、丁寧に説明している。