計算理論の基礎 １ 原書第２版
オートマトンと言語
Ｉｎｔｒｏｄｕｃｔｉｏｎ ｔｏ ｔｈｅ ｔｈｅｏｒｙ ｏｆ ｃｏｍｐｕｔａｔｉｏｎ．２ｎｄ ｅｄ．
ご注文いただけません
著者：マイケル・シプサ 太田和夫（情報通信工学） 田中圭介
出版社：共立出版
価格：3,200円
発売日：2008年05月
判型：Ａ５／ページ数：206
ISBN：9784320122079
内容情報（日販商品データベースより）
M.Sipser教授の“Theory of Computation”の講義はMIT屈指の名講義で，教室には活気と笑いが絶えることはない。本書はその講義ノートをもとにまとめられた，この分野の標準的教科書である。
定理を述べたあと直ちに証明に取りかからず，証明のアイデアを与える工夫，証明の失敗例に言及して理解を深めさせるなど，随所に講義の雰囲気が感じられる，教育的配慮の行き届いた教科書になっている。
今回第2版では，初版の内容に「選ばれた問題」に対する解答を追加するとともに，いくつかの話題に関して，初版後の研究の進展について説明を加えた。