内容
M.Sipser教授の“Theory of Computation”の講義はMIT屈指の名講義で、教室には活気と笑いが絶えることはない。本書はその講義ノートをもとにまとめられた、この分野の標準的教科書である。
定理を述べたあと直ちに証明に取りかからず、証明のアイデアを与える工夫、証明の失敗例に言及して理解を深めさせるなど、随所に講義の雰囲気が感じられる、教育的配慮の行き届いた教科書になっている。
今回第2版では、初版の内容に「選ばれた問題」に対する解答を追加するとともに、いくつかの話題に関して、初版後の研究の進展について説明を加えた。
