検索結果書誌詳細：蔵書検索システム

ログインの状態：ログインしていません。ログインすると利用状況の確認等のサービスを利用できます。		カート（予約候補） 0 登録されていません。

蔵書情報

この資料の蔵書に関する統計情報です。現在の所蔵数在庫数予約数などを確認できます。

所蔵数	1	在庫数	1	予約数	0

資料の状態

各蔵書資料に関する詳細情報です。

No.	資料番号	資料種別	請求記号	配架場所	状態	貸出
1	0011020013	図書一般	007.1/ｵｵ12/	書庫	貸出可	○

この資料に対する操作

カートに入れるを押すとこの資料を予約する候補として予約カートに追加します。

いますぐ予約するを押すと認証後この資料をすぐに予約します。

この資料に対する操作

電子書籍を読むを押すと電子図書館に移動しこの資料の電子書籍を読むことができます。

登録するリストログインメモ

書誌情報サマリ

タイトル	オートマトン・言語理論入門
人名	大川知／著
人名ヨミ	オオカワサトシ
出版者・発行者	共立出版
出版年月	2012.1

書誌詳細

この資料の書誌詳細情報です。

書誌種別	図書
タイトル	オートマトン・言語理論入門
シリーズ名	未来へつなぐデジタルシリーズ
シリーズ番号	5
タイトルヨミ	オートマトンゲンゴリロンニュウモン
シリーズ名ヨミ	ミライエツナグデジタルシリーズ
シリーズ番号ヨミ	5
人名	大川知／著　広瀬貞樹／著　山本博章／著
人名ヨミ	オオカワサトシ　ヒロセサダキ　ヤマモトヒロアキ
出版者・発行者	共立出版
出版者・発行者等ヨミ	キョウリツシュッパン
出版地・発行地	東京
出版・発行年月	2012.1
ページ数または枚数・巻数	8,164p
大きさ	26cm
価格	￥２４００
ISBN	978-4-320-12305-2
ISBN	4-320-12305-2
注記	文献:p160〜161
分類記号	007.1
件名	オートマトン／形式言語
内容紹介	情報工学、計算機科学の最も基本的な問題である計算とは何か、言語とは何かに答えるための道具であるオートマトンおよび形式言語理論の入門書。オートマトンと形式言語の密接な関係を明らかにする。章末に演習問題付き。
著者紹介	東北大学大学院工学研究科電気及通信工学専攻博士課程修了。会津大学コンピュータ理工学部教授。
言語区分	JPN
タイトルコード	1009811507238
目次	第1章準備
	1.1 オートマトンと形式言語とは／1.2 オートマトン・言語理論のための準備／1.3 主なオートマトンと形式文法
	第2章有限オートマトン
	2.1 決定性有限オートマトン／2.2 状態遷移図
	第3章非決定性有限オートマトン
	3.1 非決定性有限オートマトン／3.2 空動作のある非決定性有限オートマトン／3.3 3種類の有限オートマトンの等価性
	第4章最簡形の決定性有限オートマトン
	4.1 最簡形の決定性有限オートマトン／4.2 状態の等価性
	第5章正規表現
	5.1 正規表現の定義／5.2 正規表現と有限オートマトンの等価性
	第6章正規言語の性質
	6.1 正規言語の閉包性／6.2 繰り返し定理／6.3 正規言語でない言語の存在
	第7章形式文法
	7.1 形式文法の定義／7.2 文法のクラス
	第8章正規文法と有限オートマトンの等価性
	8.1 正規文法と有限オートマトンの等価性／8.2 正規文法の拡張
	第9章文脈自由文法
	9.1 文脈自由文法と導出木／9.2 あいまい性／9.3 文脈自由文法の部分クラス
	第10章文脈自由文法の標準形
	10.1 文法の簡単化／10.2 Chomskyの標準形／10.3 Greibachの標準形
	第11章プッシュダウンオートマトン
	11.1 決定性プッシュダウンオートマトン／11.2 非決定性プッシュダウンオートマトン
	第12章文脈自由文法と非決定性プッシュダウンオートマトンの等価性
	12.1 文脈自由文法から非決定性プッシュダウンオートマトンへの変換／12.2 非決定性プッシュダウンオートマトンから文脈自由文法への変換
	第13章文脈自由言語ではない言語
	13.1 文脈自由言語の演算に対する閉包性／13.2 文脈自由言語の繰り返し定理／13.3 文脈自由言語ではない言語の存在
	第14章チューリング機械
	14.1 チューリング機械とは／14.2 文脈依存文法と線形拘束オートマトンの関係／14.3 句構造文法とチューリング機械の関係
	第15章オートマトンと言語理論の応用
	15.1 文字列照合問題への応用／15.2 コンパイラへの応用／15.3 マークアップ言語への応用