内容説明
本書は、理論計算機科学の最も基礎的な部分を、現代的な視点から紹介したものです。最新の題材もいくつか含まれています。初めの５つの章では、言語、オートマトン、帰納的関数、そして、決定可能性の基礎について述べます。記述の方法は、機械に重点を置くものではなく、言語理論的なものです。第６章では、計算量理論の、公理論的な面と機械を中心とする面の両面の間で、バランスのとれた解説を与えることを試みました。第７章は、昨今大変活発に研究されている話題をとり上げます。暗号の理論です。第８章で論じられる研究分野はどれもその後活発な研究が続けられている分野です。
目次
第１章 序論：計算のモデル
第２章 言語理論の基礎
第３章 制限つきオートマトン
第４章 テューリング機械と帰納的関数
第５章 有名な決定問題
第６章 計算の複雑さ
第７章 暗号学
第８章 オートマトン・言語理論における動向
