計算理論の基礎 1 オートマトンと言語
原著第2版
著：Michael Sipser
監：太田 和夫
監：田中 圭介
紙版
内容紹介
M.Sipser教授の“Theory of Computation”の講義はMIT屈指の名講義で，教室には活気と笑いが絶えることはない。本書はその講義ノートをもとにまとめられた，この分野の標準的教科書である。
定理を述べたあと直ちに証明に取りかからず，証明のアイデアを与える工夫，証明の失敗例に言及して理解を深めさせるなど，随所に講義の雰囲気が感じられる，教育的配慮の行き届いた教科書になっている。
今回第2版では，初版の内容に「選ばれた問題」に対する解答を追加するとともに，いくつかの話題に関して，初版後の研究の進展について説明を加えた。
目次
1 正規言語
2 文脈自由言語
ISBN：9784320122079
。出版社：共立出版
。判型：A5
。ページ数：240ページ
。定価：3200円（本体）
。発行年月日：2008年05月
。発売日：2008年05月26日
。国際分類コード【Thema（シーマ）】 １：UB。
