計算理論の基礎 １ 原著第３版

オートマトンと言語　

共立出版
Ｍｉｃｈａｅｌ　Ｓｉｐｓｅｒ　田中圭介　藤岡淳　阿部正幸　植田広樹　

• 価格: 3,740円（本体3,400円＋税）
• 発行年月: 2023年04月
• 判型: Ａ５
• ISBN: 9784320125612

内容情報

[BOOKデータベースより]

第１巻　オートマトンと言語（序論；正規言語；文脈自由言語）
第２巻　計算可能性の理論（Ｃｈｕｒｃｈ‐Ｔｕｒｉｎｇの提唱；判定可能性；帰着可能性；計算可能性の理論における先進的な話題）
第３巻　複雑さの理論（時間の複雑さ；領域の複雑さ；問題の扱いにくさ；計算の複雑さの理論における先進的な話題）

[日販商品データベースより]

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