所蔵

所蔵件数は 1 件です。現在の予約件数は 0 件です。

所蔵場所	請求記号	資料コード	資料区分	帯出区分	状態
閲覧室	/007.1/ｼ/1	117327858	成人一般	可能

ページの先頭へ

資料詳細

タイトル	計算理論の基礎 1
タイトルカナ	ケイサン リロン ノ キソ
著者	Michael Sipser ／著, 田中 圭介 ／監訳, 藤岡 淳 ／監訳, 阿部 正幸 ／訳, 植田 広樹 ／訳, 太田 和夫 ／訳, 田中 圭介 ／訳, 藤岡 淳 ／訳, 渡辺 治 ／訳
著者カナ	シプサ マイケル,タナカ ケイスケ,フジオカ アツシ,アベ マサユキ,ウエダ ヒロキ,オオタ カズオ,タナカ ケイスケ,フジオカ アツシ,ワタナベ オサム
巻の書名	オートマトンと言語
出版者	共立出版
出版年	2023.4
ページ数	27,194,40p
大きさ	21cm
一般件名	オートマトン , 計算量理論
ISBN13桁	978-4-320-12561-2
言語	jpn
分類記号	007.1
内容紹介	計算の理論の主テーマである、オートマトンと言語の理論、計算可能性の理論、計算の複雑さの理論をまとめた、計算理論の教科書。問題に対する解答を加えた原著第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 決定性文脈自由言語

ページの先頭へ