タイトルコード |
1000101066484 |
書誌種別 |
図書 |
書名 |
計算理論の基礎 1 |
巻次(漢字) |
1 |
書名ヨミ |
ケイサン リロン ノ キソ |
各巻書名 |
オートマトンと言語 |
言語区分 |
日本語 |
著者名 |
Michael Sipser/著
田中 圭介/監訳
藤岡 淳/監訳
阿部 正幸/訳
植田 広樹/訳
太田 和夫/訳
田中 圭介/訳
藤岡 淳/訳
渡辺 治/訳
|
著者名ヨミ |
Michael Sipser タナカ ケイスケ フジオカ アツシ アベ マサユキ ウエダ ヒロキ オオタ カズオ タナカ ケイスケ フジオカ アツシ ワタナベ オサム |
著者名原綴 |
Sipser Michael |
出版地 |
東京 |
出版者 |
共立出版
|
出版年月 |
2023.4 |
本体価格 |
¥3400 |
ISBN |
978-4-320-12561-2 |
ISBN |
4-320-12561-2 |
数量 |
27,194,40p |
大きさ |
21cm |
分類記号 |
007.1
|
件名 |
オートマトン
計算量理論
|
各巻件名 |
形式言語 |
注記 |
原タイトル:Introduction to the theory of computation 原著第3版の翻訳 |
注記 |
文献:巻末p1〜7 |
内容紹介 |
計算の理論の主テーマである、オートマトンと言語の理論、計算可能性の理論、計算の複雑さの理論をまとめた、計算理論の教科書。問題に対する解答を加えた原著第3版を分冊にしたもの。1はオートマトンと言語を収録。 |
目次タイトル |
0 序論 |
|
0.1 オートマトン,計算可能性,複雑さ 0.2 数学的概念や用語 0.3 定義,定理,証明 0.4 証明のタイプ |
|
1 正規言語 |
|
1.1 有限オートマトン 1.2 非決定性 1.3 正規表現 1.4 非正規言語 |
|
2 文脈自由言語 |
|
2.1 文脈自由文法 2.2 プッシュダウン・オートマトン 2.3 非文脈自由言語 2.4 決定性文脈自由言語 |