計算理論の基礎　原著第３版　１　オートマ / ＭｉｃｈａｅｌＳｉｐ

Ｍ．Ｓｉｐｓｅｒ教授によるＭＩＴ屈指の名講義“Ｔｈｅｏｒｙ　ｏｆ　Ｃｏｍｐｕｔａｔｉｏｎ”の講義ノートを基にまとめた教科書。　Michael Sipser教授による “Theory of Computation” の講義はMIT屈指の名講義で、教室には活気と笑いが絶えることはない。本書はその講義ノートをもとにまとめられた、この分野の標準的教科書である。<br>　定理を述べたあと直ちに証明に取りかからず、証明のアイデアを与える工夫、証明の失敗例に言及して理解を深めさせるなど、随所に講義の雰囲気が感じられる、教育的配慮の行き届いた教科書になっている。<br>　第3版では、「決定性文脈自由言語」に関する節が新たに加えられたほか、問題や解答が追加されるとともに、いくつかの話題に関して、第2版刊行後の研究の進展について説明を加えた。<br>ＭｉｃｈａｅｌＳｉｐ
共立出版
2023年04月
ケイサン　リロン　ノ　キソ　ゲンチヨ　ダイ　３　ハン　１　オ−トマトン　ト
マイケル　シプサ−
/