ばいちょ(売価調査)、価格比較とネットでのお買い物を楽に

内容紹介 計算の理論の世界へ，ようこそ!
Michael Sipser教授の?Theory of Computation?の講義も，本書と同様に，このフレンドリーな挨拶から始まった.彼の講義はMIT屈指の名講義で，教室には活気と笑いが絶えることはない。
本書は，その講義ノートをもとにまとめられたもので，計算の理論の主テーマである，「オートマトンと言語の理論」，「計算可能性の理論」，そして「複雑さの理論」をカバーした，この分野の標準的教科書である。

定理を述べたあと直ちに証明に取りかからず，証明のアイデアを与える工夫，証明の失敗例に言及して理解を深めさせるなど，随所に講義の雰囲気が感じられる，教育的配慮の行き届いた教科書になっている。

今回の第2版では，「第1巻:オートマトンと言語の理論」，「第2巻:計算可能性の理論」，「第3巻:複雑さの理論」の全3巻に分冊化した.また，初版の内容に「選ばれた問題」に対する解答を追加するとともに，いくつかの話題に関して，初版後の研究の進展について説明を加えた。