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

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

蔵書情報

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

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

資料の状態

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

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

この資料に対する操作

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

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

この資料に対する操作

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

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

書誌情報サマリ

タイトル	オートマトン・形式言語理論
人名	広瀬貞樹／著
人名ヨミ	ヒロセサダキ
出版者・発行者	コロナ社
出版年月	2014.4

書誌詳細

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

書誌種別	図書
タイトル	オートマトン・形式言語理論
タイトルヨミ	オートマトンケイシキゲンゴリロン
人名	広瀬貞樹／著
人名ヨミ	ヒロセサダキ
出版者・発行者	コロナ社
出版者・発行者等ヨミ	コロナシャ
出版地・発行地	東京
出版・発行年月	2014.4
ページ数または枚数・巻数	5,179p
大きさ	21cm
価格	￥２４００
ISBN	978-4-339-02476-0
ISBN	4-339-02476-0
注記	文献:p151〜152
分類記号	007.1
件名	オートマトン／形式言語
内容紹介	大学、短大、高専等におけるオートマトン・形式言語理論に関する講義のテキスト。情報工学あるいは情報科学の基礎としてのオートマトン・形式言語理論の考え方を、多くの例を用いてわかりやすく解説する。
著者紹介	東北大学大学院工学研究科博士課程修了(情報工学専攻)。富山大学理事・副学長。共著書に「オートマトン・言語理論入門」など。
言語区分	JPN
タイトルコード	1009811769525
目次	1.形式言語
	1.1 形式言語／1.2 形式言語の識別機械と生成機械
	2.有限オートマトン
	2.1 決定性有限オートマトン／2.2 状態遷移図／2.3 非決定性有限オートマトン／2.4 空動作のある非決定性有限オートマトン／2.5 L(dfa)=L(nfa)=L(ε-nfa)／2.6 最簡形の決定性有限オートマトン／2.7 有限オートマトンでは識別できない言語／章末問題
	3.プッシュダウンオートマトン
	3.1 決定性プッシュダウンオートマトン／3.2 非決定性プッシュダウンオートマトン／3.3 L(dfa)[シンブブンシュウゴウ2]L(npda)／3.4 プッシュダウンオートマトンでは識別できない言語／章末問題
	4.チューリング機械と線形拘束オートマトン
	4.1 決定性チューリング機械／4.2 非決定性チューリング機械／4.3 線形拘束オートマトン／章末問題
	5.形式文法
	5.1 言語の生成システム／5.2 言語の生成システムとしての形式文法／5.3 形式文法の型と形式言語のクラス／5.4 形式文法の標準形／章末問題
	6.有限オートマトンと正規文法
	6.1 L(fa)【ブブンシュウゴウ】L(rg)／6.2 L(fa)【ブブンシュウゴウ(ギャクホウコウ)】L(rg)／章末問題
	7.プッシュダウンオートマトンと文脈自由文法
	7.1 L(npda)【ブブンシュウゴウ】L(cfg)／7.2 L(npda)【ブブンシュウゴウ(ギャクホウコウ)】L(cfg)／章末問題
	8.線形拘束オートマトンと文脈依存文法:チューリング機械と句構造文法
	8.1 L(Tm)=L(psg)／8.2 L(lba)=L(csg)