計算理論の基礎 [原著第2版] 1.オートマトンと言語 - 共立出版※本書籍は旧版です。 最新版はこちらです。 M.Sipser教授の“Theory of Computation”の講義はMIT屈指の名講義で、教室には活気と笑いが絶えることはない。本書はその講義ノートをもとにまとめられた、この分野の標準的教科書である。 定理を述べたあと直ちに証明に取りかからず、証明のアイデアを与える工夫、証明の失敗例に言及して理解を深めさせるなど、随所に講義の雰囲気が感じられる、教育的配慮の行き届いた教科書になっている。 今回第2版では、初版の内容に「選ばれた問題」に対する解答を追加するとともに、いくつかの話題に関して、初版後の研究の進展について説明を加えた。
![計算理論の基礎 [原著第2版] 1.オートマトンと言語 - 共立出版](https://cdn-ak-scissors.b.st-hatena.com/image/square/dc3c67e414332b02bbbd96739fe3cab2d84beb8b/height=288;version=1;width=512/https%3A%2F%2Fhondana-image.s3.amazonaws.com%2Fbook%2Fimage%2F10010657%2F570165f7-58dc-4179-8a0a-7f239dbdfb5e.jpg)
