資料詳細

[ 和図書 ] オートマトン・形式言語理論

広瀬貞樹／著 -- コロナ社 -- 2014.4 --

所蔵

所蔵は 1 件です。

所蔵館	所蔵場所	資料区分	請求記号	資料コード	所蔵状態	資料の利用
配架日	協力貸出	利用状況	返却予定日	資料取扱	予約数	付録注記	備考
中央	書庫	一般図書	/007.1/5374/2014	7103673751		Digital BookShelf
2014/04/11	可能	利用可			0

- 統合検索
  都内図書館の所蔵を
  横断検索します。 類似資料 AI Shelf
  この資料に類似した資料を
  AIが紹介します。

遠隔複写申込みは、東京都在住・在勤・在学の方からお受けいたします。
複写カート機能には、Cookieを使用しています。申込む際はCookieを有効にしてください。

ページの先頭へ

資料詳細

ISBN	4-339-02476-0
ISBN13桁	978-4-339-02476-0
タイトル	オートマトン・形式言語理論
タイトルカナ	オートマトンケイシキゲンゴリロン
著者名	広瀬貞樹／著
著者名典拠番号	110004863000000
出版地	東京
出版者	コロナ社
出版者カナ	コロナシャ
出版年	2014.4
ページ数	5, 179p
大きさ	21cm
価格	¥2400
内容紹介	大学、短大、高専等におけるオートマトン・形式言語理論に関する講義のテキスト。情報工学あるいは情報科学の基礎としてのオートマトン・形式言語理論の考え方を、多くの例を用いてわかりやすく解説する。
書誌・年譜・年表	文献:p151～152
一般件名	オートマトン-ndlsh-00568995,形式言語-ndlsh-00576869
一般件名カナ	オートマトン-00568995,ケイシキゲンゴ-00576869
一般件名	オートマトン , 形式言語
一般件名カナ	オートマトン,ケイシキゲンゴ
一般件名典拠番号	510128900000000 , 510690500000000
分類：都立NDC10版	007.1
テキストの言語	日本語
資料情報1	『オートマトン・形式言語理論』　広瀬貞樹／著　コロナ社　2014.4（所蔵館：中央　請求記号：/007.1/5374/2014　資料コード：7103673751）
URL	https://catalog.library.metro.tokyo.lg.jp/winj/opac/switch-detail.do?lang=ja&bibid=1152419554

ページの先頭へ

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)

ページの先頭へ

資料詳細

所蔵

資料詳細

目次