内容説明
※この電子書籍は固定レイアウト型で配信されております。固定レイアウト型は文字だけを拡大することや、文字列のハイライト、検索、辞書の参照、引用などの機能が使用できません。
Michael Sipser教授による“Theory of Computation”の講義はMIT屈指の名講義で、教室には活気と笑いが絶えることはない。本書はその講義ノートをもとにまとめられた、この分野の標準的教科書である。
定理を述べたあと直ちに証明に取りかからず、証明のアイデアを与える工夫、証明の失敗例に言及して理解を深めさせるなど、随所に講義の雰囲気が感じられる、教育的配慮の行き届いた教科書になっている。
第3版では、「決定性文脈自由言語」に関する節が新たに加えられたほか、問題や解答が追加されるとともに、いくつかの話題に関して、第2版刊行後の研究の進展について説明を加えた。
感想・レビュー
※以下の感想・レビューは、株式会社ドワンゴの提供する「読書メーター」によるものです。
emscri
0
試験があるわけではないので斜め読みだが、わかりやすい本だと感じた。 チョムスキー久しぶりに見かけて学生時代を思い出した。Combinatory categorial grammar (CCG) を少しかじり、旅行でエジンバラ大学まで足を運んだのも懐かしい思い出。2023/10/28
ベジ
0
教科書的な本。簡潔にまとまっていて分かりやすかった。証明部分は後で読み返す。2023/09/15
