![計算理論の基礎 [原著第3版] 1.オートマトンと言語の表紙](/_next/image?url=https%3A%2F%2Fthumbnail.image.rakuten.co.jp%2F%400_mall%2Fbook%2Fcabinet%2F5612%2F9784320125612_1_3.jpg%3F_ex%3D400x400&w=3840&q=75 "計算理論の基礎 [原著第3版] 1.オートマトンと言語")
計算理論の基礎 [原著第 3 版] 1.オートマトンと言語(ケイサンリロンノキソゲンチョダイサンハンイチオートマトントゲンゴ)
- 著者:
- Michael Sipser/田中 圭介/藤岡 淳/阿部 正幸/植田 広樹/太田 和夫(マイケル シプサー/タナカ ケイスケ/フジオカ アツシ/アベ マサユキ/ウエダ ヒロキ/オオタ カズオ)
- 出版社:
- 共立出版
- 出版日:
- 2023年04月24日
- ISBN:
- 9784320125612
- 在庫:
- 在庫あり
中級者向け
計算理論オートマトン形式言語理論正規言語文脈自由言語プッシュダウン・オートマトン決定性文脈自由言語数学的証明理論コンピュータサイエンスアルゴリズム
なぜ注目されているか
総合
1761位
↓ 3 ランクダウン書籍紹介
Michael Sipser 教授による “ Theory of Computation ” の講義は MIT 屈指の名講義で、教室には活気と笑いが絶えることはない。本書はその講義ノートをもとにまとめられた、この分野の標準的教科書である。
定理を述べたあと直ちに証明に取りかからず、証明のアイデアを与える工夫、証明の失敗例に言及して理解を深めさせるなど、随所に講義の雰囲気が感じられる、教育的配慮の行き届いた教科書になっている。
第 3 版では、「決定性文脈自由言語」に関する節が新たに加えられたほか、問題や解答が追加されるとともに、いくつかの話題に関して、第 2 版刊行後の研究の進展について説明を加えた。
第 0 章 序論
0.1 オートマトン,計算可能性,複雑さ
0.2 数学的概念や用語
0.3 定義,定理,証明
0.4 証明のタイプ
第 1 章 正規言語
1.1 有限オートマトン
1.2 非決定性
1.3 正規表現
1.4 非正規言語
第 2 章 文脈自由言語
2.1 文脈自由文法
2.2 プッシュダウン・オートマトン
2.3 非文脈自由言語
2.4 決定性文脈自由言語
この本に興味がある方におすすめ
この本に関連
![計算理論の基礎 [原著第3版] 2.計算可能性の理論の表紙](/_next/image?url=https%3A%2F%2Fthumbnail.image.rakuten.co.jp%2F%400_mall%2Fbook%2Fcabinet%2F5629%2F9784320125629_1_2.jpg%3F_ex%3D400x400&w=3840&q=75 "計算理論の基礎 [原著第3版] 2.計算可能性の理論")
Michael Sipser の他の書籍
![計算理論の基礎 [原著第3版] 3.複雑さの理論の表紙](/_next/image?url=https%3A%2F%2Fthumbnail.image.rakuten.co.jp%2F%400_mall%2Fbook%2Fcabinet%2F5636%2F9784320125636_1_2.jpg%3F_ex%3D400x400&w=3840&q=75 "計算理論の基礎 [原著第3版] 3.複雑さの理論")
関連記事
30 代エンジニアが読書で取り戻す「設計の言語化力」
経験年数は十分なのに設計意図を言葉にできない。30 代エンジニアが直面する「暗黙知の壁」を、技術書の読書で突破する方法を解説します。
キャリア設計
有名プログラマの読書習慣 - 天才たちは何を読んできたのか
リーナス・トーバルズ、まつもとゆきひろ、ビル・ゲイツなど、著名なプログラマたちの読書習慣と愛読書を紹介します。天才たちの読書スタイルから学べることとは。
雑学エンジニア文化
プログラミング言語の入門書ガイド - 最初の言語を本で学ぶ
プログラミング言語の入門書の選び方と、動画教材との使い分け、言語選びの判断基準を紹介します。
プログラミング言語選書ガイド