計算の理論の世界へ、ようこそ！Ｍｉｃｈａｅｌ　Ｓｉｐｓｅｒ教授の「Ｔｈｅｏｒｙ　ｏｆ　Ｃｏｍｐｕｔａｔｉｏｎ」の講義も、本書と同様に、このフレンドリーな挨拶から始まりました。彼の講義はＭＩＴ屈指の名講義で、教室には活気と笑いがあふれていました。２，３回の聴講を考えていた私はその魅力に魅せられて、９１年秋学期の全講義に出席することになりました。本書はＳｉｐｓｅｒ教授のＭＩＴでの講義ノートをもとにまとめられたものです。計算の理論の主テーマである、オートマトンと言語の理論、計算可能性の理論、そして計算の複雑さの理論をカバーしています。