資料詳細

[ 和図書 ] 形式言語・オートマトン入門 ( グラフィック情報工学ライブラリ GIE-3 )

藤芳明生／著 -- 数理工学社 -- 2017.8 --

所蔵

所蔵は 1 件です。

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

Eメールによる郵送複写申込みは、「東京都在住」の登録利用者の方が対象です。

ページの先頭へ

資料詳細

ISBN	4-86481-047-0
ISBN13桁	978-4-86481-047-0
タイトル	形式言語・オートマトン入門
タイトルカナ	ケイシキゲンゴオートマトンニュウモン
著者名	藤芳明生／著
著者名典拠番号	110007233820000
出版地	東京,東京
出版者	数理工学社,サイエンス社(発売)
出版者カナ	スウリコウガクシャ
出版年	2017.8
ページ数	11, 163p
大きさ	21cm
シリーズ名	グラフィック情報工学ライブラリ
シリーズ名のルビ等	グラフィックジョウホウコウガクライブラリ
シリーズ番号	GIE-3
シリーズ番号読み	GIE-3
価格	¥1800
内容紹介	情報工学を学ぶ人が、形式言語と形式文法、さらにオートマトンを有用な道具として利用できるようになることを主眼に置き、豊富な具体例とともに解説する。各章末に演習問題を掲載。
一般件名	形式言語-00576869-ndlsh,オートマトン-00568995-ndlsh
一般件名カナ	ケイシキゲンゴ-00576869,オートマトン-00568995
一般件名	形式言語 , オートマトン
一般件名カナ	ケイシキゲンゴ,オートマトン
一般件名典拠番号	510690500000000 , 510128900000000
分類：都立NDC10版	007.1
資料情報1	『形式言語・オートマトン入門』（グラフィック情報工学ライブラリ GIE-3）　藤芳明生／著　数理工学社　2017.8（所蔵館：中央　請求記号：/007.1/5591/2017　資料コード：7109641880）
URL	https://catalog.library.metro.tokyo.lg.jp/winj/opac/switch-detail.do?lang=ja&bibid=1153052638

ページの先頭へ

第1章形式言語と形式文法: 1.1 なぜ文法が必要なのか; 1.2 言語,文法の形式的な定義; 1.3 文法の例; 1.4 チョムスキー階層; 1.5 空列を生成するためのε-規則の導入; 演習問題
第2章有限オートマトン: 2.1 有限オートマトンとは; 2.2 有限オートマトンの例; 2.3 状態遷移関数の緩和; 2.4 有限オートマトンの状態遷移表による表現; 2.5 非決定性有限オートマトン; 2.6 非決定性有限オートマトンの例; 2.7 非決定性有限オートマトンと決定性有限オートマトンの能力; 2.8 有限オートマトンと正規文法; 2.9 ε-動作を許した非決定性有限オートマトン
第3章正規表現と正規言語: 3.1 正規表現とは; 3.2 形式言語における正規表現; 3.3 正規表現の簡略化; 3.4 正規表現と有限オートマトン; 3.5 正規言語の性質; 3.6 正規言語の所属性判定と等価性判定; 3.7 正規言語のクラスに含まれない言語; 演習問題
第4章文脈自由文法: 4.1 文脈自由文法と構文木; 4.2 最左導出と最右導出と文法のあいまい性; 4.3 文脈自由文法の標準形; 4.4 チョムスキー標準形に変換する方法; 4.5 グライバッハ標準形に変換する方法; 4.6 文脈自由文法の構文解析; 4.7 文脈自由文法に関する判定問題; 4.8 文脈自由文法では生成することができない言語; 演習問題
第5章プッシュダウンオートマトン: 5.1 プッシュダウンオートマトンとは; 5.2 プッシュダウンオートマトンの例; 5.3 受理状態による受理と空スタックによる受理; 5.4 プッシュダウンオートマトンと文脈自由文法; 5.5 決定性プッシュダウンオートマトン; 演習問題
第6章木文法と木オートマトン: 6.1 木文法を考える意味; 6.2 ML文脈自由木文法; 6.3 正規木文法; 6.4 有限木オートマトン; 演習問題

ページの先頭へ