オートマトンと言語
取り寄せ不可
M.Sipser教授の“Theory of Computation”の講義はMIT屈指の名講義で,教室には活気と笑いが絶えることはない。本書はその講義ノートをもとにまとめられた,この分野の標準的教科書である。
定理を述べたあと直ちに証明に取りかからず,証明のアイデアを与える工夫,証明の失敗例に言及して理解を深めさせるなど,随所に講義の雰囲気が感じられる,教育的配慮の行き届いた教科書になっている。
今回第2版では,初版の内容に「選ばれた問題」に対する解答を追加するとともに,いくつかの話題に関して,初版後の研究の進展について説明を加えた。
よく利用するジャンルを設定できます。
「+」ボタンからジャンル(検索条件)を絞って検索してください。
表示の並び替えができます。