オートマトン・言語理論 [第2版](中古品)
Pontaパス特典
サンキュー配送
3,280円(税込)
0ポイント(1％)
商品説明
(中古品)
オートマトン・言語理論 [第2版]
【ブランド名】
富田 悦次: author; 横森 貴: author;
【商品説明】
内容紹介 計算機の基本を支える「オートマトン」と「言語理論」に関する,定評ある教科書の改訂版である. わかりやすい具体例から始めて,より一般的な概念の提示および説明へと,直観的理解を容易にする配慮を心がけて解説している. 今回の改訂では,簡便な正規表現導出法,拡張した部分集合構成法やCKYアルゴリズムなど,いくつかの重要項目が新たに補強され, また,本文の理解を深める基本的な演習問題を厳選し,詳細な解答が掲載されている. 【目次】 第1章 序論 1.1 オートマトンと言語 1.1.1 オートマトンとは 1.1.2 形式言語とは 1.2 基礎的な数学的準備 1.2.1 集合 1.2.2 木 1.2.3 帰納法 休憩室1 世界初のマイクロプロセッサ開発 第2章 有限オートマトンと正規表現 2.1 順序機械 2.1.1 ミーリー型順序機械 2.1.2 ムーア型順序機械 2.1.3 ミーリー型順序機械とムーア型順序機械の同等性 2.1.4 順序機械の簡単化 2.2 有限オートマトン 2.2.1 正規言語 2.2.2 等価性 2.2.3 等価性判定アルゴリズム 2.2.4 状態対の等価性判定法 2.2.5 有限オートマトンの最簡形 2.2.6 正規言語の特徴付け定理 2.3 非決定性有限オートマトン 2.3.1 部分集合構成法 2.3.2 ε-動作をもつ非決定性有限オートマトン 2.4 言語演算 2.4.1 連接 2.4.2 スター閉包 2.5 正規表現 2.5.1 有限オートマトンから正規表現への変換(その1: MY 法) 2.5.2 有限オートマトンから正規表現への変換(その2: 状態除去法) 2.5.3 正規表現から有限オートマトンへの変換 2.6 正規言語族の演算に関する閉包性 2.7 非正規言語 休憩室2 パターンオートマトン 第3章 言語と形式文法 3.1 形式文法 3.2 正規文法 3.2.1 正規文法から有限オートマトンへの変換 3.2.2 有限オートマトンから正規文法への変換 3.2.3 右(左)線形文法 第4章文脈自由文法とプッシュダウンオートマトン 4.1 文脈自由文法 4.2 導出木 4.3 あいまい性 4.4 文脈自由文法の簡単化 4.4.1 無効記号 4.4.2 ε-生成規則 4.4.3 単位生成規則 4.5 文脈自由文法の標準形 4.5.1 チョムスキー標準形 4.5.2 グライバッハ標準形 4.6 自己埋め込み 4.7 単純決定性文法 4.8 単純決定性プッシュダウンオートマトン 4.8.1 プッシュダウンスタック 4.8.2 単純決定性プッシュダウンオートマトンの定義と動作 4.8.3 単純決定性言語 4.9 決定性プッシュダウンオートマトン 4.9.1 決定性プッシュダウンオートマトンの定義と動作 4.9.2 決定性言語 4.10 非決定性プッシュダウンオートマトン 4.10.1 文脈自由文法から非決定性プッシュダウンオートマトンへの変換 4.10.2 非決定性プッシュダウンオートマトンから文脈自由文法への変換 4.11 所属問題と構文解析 4.11.1 CKY-構文解析アルゴリズム 4.11.2 下降型構文解析 4.11.3 上昇型構文解析 4.12 文脈自由言語族の演算に関する閉包性 4.13 非文脈自由言語 休憩室3 文脈自由文法と遺伝子解析 第5章 句構造文法とチューリング機械 5.1 句構造文法 5.2 チューリング機械 5.3 チューリング機械の変形 5.4 チューリング機械と句構造文法 5.4.1 句構造文法からチューリング機械への変換 5.4.2 チューリング機械から句構造文法への変換 5.5 文脈依存文法と線形拘束オートマトン 5.5.1 文脈依存文法 5.5.2 線形拘束オートマトン 5.6 計算可能性 5.7 句構造言語族の演算に関する閉包性 休憩室4万能チューリング機械の小型化コンテスト— その最新事情 第6章 決定問題 6.1 アルゴリズムとYes-No 問題 6.2 基本的な決定不能問題 6.2.1 チューリング機械の停止問題 6.2.2 ポストの対応問題 6.3 言語に関する主な決定問題 内容（「BOOK」データベースより） 長年の実績と定評のあるテキストの全面改訂版!初版の内容をすべて引き継ぎつつ、さらにパワーアップ! 著者について 富田 悦次 (電気通信大名誉教授/工博) 横森 貴 (早稲田大教授/理博) 著者略歴 (「BOOK著者紹介情報」より) 富田/悦次 1942年岐阜市に生まれる。1966年東京工業大学理工学部電子工学科卒業。1971年東京工業大学大学院博士課程修了、東京工業大学工学部電子物理工学科助手。1976年電気通信大学通信工学科助教授。1986年電気通信大学通信工学科教授。1987年電気通信大学電子情報学科教授。1999年電気通信大学情報通信工学科教授。2008年電気通信大学名誉教授、中央大学研究開発機構教授(~2011年)。2011年科学技術振興機構ERATO研究推進委員、東京工業大学特別研究員。工学博士 横森/貴 1951年甲府市に生まれる。1974年東京大学理学部数学科卒業。1979年東京大学大学院博士課程修了、産業能率大学情報学科助手。1983年富士通(株)国際情報社会科学研究所。1989年電気通信大学情報工学科助教授。1997年電気通信大学情報工学科教授。1998年早稲田大学教育学部数学教室教授。2004年早稲田大学教育・総合科学学術院教授。理学博士(本データはこの書籍が刊行された当時に掲載されていたものです)
当店では初期不良に限り、商品到着から7日間は返品をお受けいたします。
イメージと違う、必要でなくなった等、お客様都合のキャンセル・返品は一切お受けしておりません。
中古品の場合、基本的に説明書・外箱・ドライバーインストール用のCD-ROMはついておりません。
商品名に「限定」「保証」等の記載がある場合でも特典や保証・ダウンロードコードは付いておりません。
写真は代表画像であり実際にお届けする商品の状態とは異なる場合があります。
中古品の場合は中古の特性上キズ、汚れがある場合があります。
他モールでも併売しておりますので、万が一お品切れの場合はご連絡致します。
ご注文からお届けまで
1．ご注文
ご注文は24時間受け付けております
2．注文確認 ご注文後、注文確認メールを送信します
3．在庫確認
在庫切れの場合はご連絡させて頂きます。
※中古品は受注後に、再メンテナンス、梱包しますのでお届けまで3〜7営業日程度とお考え下さい。
4．入金確認
前払い決済をご選択の場合、ご入金確認後、配送手配を致します。
5．出荷
配送準備が整い次第、出荷致します。配送業者、追跡番号等の詳細をメール送信致します。
6．到着
出荷後、1〜3日後に商品が到着します。
※離島、北海道、九州、沖縄は遅れる場合がございます。予めご了承下さい。
オートマトン・言語理論 [第2版]
【ブランド名】
富田 悦次: author; 横森 貴: author;
【商品説明】
内容紹介 計算機の基本を支える「オートマトン」と「言語理論」に関する,定評ある教科書の改訂版である. わかりやすい具体例から始めて,より一般的な概念の提示および説明へと,直観的理解を容易にする配慮を心がけて解説している. 今回の改訂では,簡便な正規表現導出法,拡張した部分集合構成法やCKYアルゴリズムなど,いくつかの重要項目が新たに補強され, また,本文の理解を深める基本的な演習問題を厳選し,詳細な解答が掲載されている. 【目次】 第1章 序論 1.1 オートマトンと言語 1.1.1 オートマトンとは 1.1.2 形式言語とは 1.2 基礎的な数学的準備 1.2.1 集合 1.2.2 木 1.2.3 帰納法 休憩室1 世界初のマイクロプロセッサ開発 第2章 有限オートマトンと正規表現 2.1 順序機械 2.1.1 ミーリー型順序機械 2.1.2 ムーア型順序機械 2.1.3 ミーリー型順序機械とムーア型順序機械の同等性 2.1.4 順序機械の簡単化 2.2 有限オートマトン 2.2.1 正規言語 2.2.2 等価性 2.2.3 等価性判定アルゴリズム 2.2.4 状態対の等価性判定法 2.2.5 有限オートマトンの最簡形 2.2.6 正規言語の特徴付け定理 2.3 非決定性有限オートマトン 2.3.1 部分集合構成法 2.3.2 ε-動作をもつ非決定性有限オートマトン 2.4 言語演算 2.4.1 連接 2.4.2 スター閉包 2.5 正規表現 2.5.1 有限オートマトンから正規表現への変換(その1: MY 法) 2.5.2 有限オートマトンから正規表現への変換(その2: 状態除去法) 2.5.3 正規表現から有限オートマトンへの変換 2.6 正規言語族の演算に関する閉包性 2.7 非正規言語 休憩室2 パターンオートマトン 第3章 言語と形式文法 3.1 形式文法 3.2 正規文法 3.2.1 正規文法から有限オートマトンへの変換 3.2.2 有限オートマトンから正規文法への変換 3.2.3 右(左)線形文法 第4章文脈自由文法とプッシュダウンオートマトン 4.1 文脈自由文法 4.2 導出木 4.3 あいまい性 4.4 文脈自由文法の簡単化 4.4.1 無効記号 4.4.2 ε-生成規則 4.4.3 単位生成規則 4.5 文脈自由文法の標準形 4.5.1 チョムスキー標準形 4.5.2 グライバッハ標準形 4.6 自己埋め込み 4.7 単純決定性文法 4.8 単純決定性プッシュダウンオートマトン 4.8.1 プッシュダウンスタック 4.8.2 単純決定性プッシュダウンオートマトンの定義と動作 4.8.3 単純決定性言語 4.9 決定性プッシュダウンオートマトン 4.9.1 決定性プッシュダウンオートマトンの定義と動作 4.9.2 決定性言語 4.10 非決定性プッシュダウンオートマトン 4.10.1 文脈自由文法から非決定性プッシュダウンオートマトンへの変換 4.10.2 非決定性プッシュダウンオートマトンから文脈自由文法への変換 4.11 所属問題と構文解析 4.11.1 CKY-構文解析アルゴリズム 4.11.2 下降型構文解析 4.11.3 上昇型構文解析 4.12 文脈自由言語族の演算に関する閉包性 4.13 非文脈自由言語 休憩室3 文脈自由文法と遺伝子解析 第5章 句構造文法とチューリング機械 5.1 句構造文法 5.2 チューリング機械 5.3 チューリング機械の変形 5.4 チューリング機械と句構造文法 5.4.1 句構造文法からチューリング機械への変換 5.4.2 チューリング機械から句構造文法への変換 5.5 文脈依存文法と線形拘束オートマトン 5.5.1 文脈依存文法 5.5.2 線形拘束オートマトン 5.6 計算可能性 5.7 句構造言語族の演算に関する閉包性 休憩室4万能チューリング機械の小型化コンテスト— その最新事情 第6章 決定問題 6.1 アルゴリズムとYes-No 問題 6.2 基本的な決定不能問題 6.2.1 チューリング機械の停止問題 6.2.2 ポストの対応問題 6.3 言語に関する主な決定問題 内容（「BOOK」データベースより） 長年の実績と定評のあるテキストの全面改訂版!初版の内容をすべて引き継ぎつつ、さらにパワーアップ! 著者について 富田 悦次 (電気通信大名誉教授/工博) 横森 貴 (早稲田大教授/理博) 著者略歴 (「BOOK著者紹介情報」より) 富田/悦次 1942年岐阜市に生まれる。1966年東京工業大学理工学部電子工学科卒業。1971年東京工業大学大学院博士課程修了、東京工業大学工学部電子物理工学科助手。1976年電気通信大学通信工学科助教授。1986年電気通信大学通信工学科教授。1987年電気通信大学電子情報学科教授。1999年電気通信大学情報通信工学科教授。2008年電気通信大学名誉教授、中央大学研究開発機構教授(~2011年)。2011年科学技術振興機構ERATO研究推進委員、東京工業大学特別研究員。工学博士 横森/貴 1951年甲府市に生まれる。1974年東京大学理学部数学科卒業。1979年東京大学大学院博士課程修了、産業能率大学情報学科助手。1983年富士通(株)国際情報社会科学研究所。1989年電気通信大学情報工学科助教授。1997年電気通信大学情報工学科教授。1998年早稲田大学教育学部数学教室教授。2004年早稲田大学教育・総合科学学術院教授。理学博士(本データはこの書籍が刊行された当時に掲載されていたものです)
当店では初期不良に限り、商品到着から7日間は返品をお受けいたします。
イメージと違う、必要でなくなった等、お客様都合のキャンセル・返品は一切お受けしておりません。
中古品の場合、基本的に説明書・外箱・ドライバーインストール用のCD-ROMはついておりません。
商品名に「限定」「保証」等の記載がある場合でも特典や保証・ダウンロードコードは付いておりません。
写真は代表画像であり実際にお届けする商品の状態とは異なる場合があります。
中古品の場合は中古の特性上キズ、汚れがある場合があります。
他モールでも併売しておりますので、万が一お品切れの場合はご連絡致します。
ご注文からお届けまで
1．ご注文
ご注文は24時間受け付けております
2．注文確認 ご注文後、注文確認メールを送信します
3．在庫確認
在庫切れの場合はご連絡させて頂きます。
※中古品は受注後に、再メンテナンス、梱包しますのでお届けまで3〜7営業日程度とお考え下さい。
4．入金確認
前払い決済をご選択の場合、ご入金確認後、配送手配を致します。
5．出荷
配送準備が整い次第、出荷致します。配送業者、追跡番号等の詳細をメール送信致します。
6．到着
出荷後、1〜3日後に商品が到着します。
※離島、北海道、九州、沖縄は遅れる場合がございます。予めご了承下さい。
(中古品)オートマトン・言語理論 [第2版]//富田 悦次: author; 横森 貴: author; /内容紹介
計算機の基本を支える「オートマトン」と「言語理論」に関する,定評ある教科書の改訂版である.
わかりやすい具体例から始めて,より一般的な概念の提示および説明へと,直観的理解を容易にする配慮を心がけて解説している.
今回の改訂では,簡便な正規表現導出法,拡張した部分集合構成法やCKYアルゴリズムなど,いくつかの重要項目が新たに補強され,
また,本文の理解を深める基本的な演習問題を厳選し,詳細な解答が掲載されている.
【目次】
第1章 序論
1.1 オートマトンと言語
1.1.1 オートマトンとは
1.1.2 形式言語とは
1.2 基礎的な数学的準備
1.2.1 集合
1.2.2 木
1.2.3 帰納法
休憩室1 世界初のマイクロプロセッサ開発
第2章 有限オートマトンと正規表現
2.1 順序機械
2.1.1 ミーリー型順序機械
2.1.2 ムーア型順序機械
2.1.3 ミーリー型順序機械とムーア型順序機械の同等性
2.1.4 順序機械の簡単化
2.2 有限オートマトン
2.2.1 正規言語
2.2.2 等価性
2.2.3 等価性判定アルゴリズム
2.2.4 状態対の等価性判定法
2.2.5 有限オートマトンの最簡形
2.2.6 正規言語の特徴
レビュー
商品の評価：
-点(0件)
オートマトン・言語理論 [第2版](中古品)
3,280円(税込)