検索結果資料の内容

ご利用の地域の図書館が所蔵している場合、そちらの方が早く借りられることもあります。
また、ご利用の地域の図書館に申し込み、県立図書館の資料を取り寄せることもできます。
岡山県図書館横断検索


この資料の情報へのリンク:

蔵書情報

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

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

資料の状態

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

No. 資料番号 資料種別 請求記号 配架場所 状態 貸出
1 0016310997図書一般007.1/シフ23/12F自然貸出可 

この資料に対する操作

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

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

この資料に対する操作

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


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


書誌情報サマリ

タイトル

計算理論の基礎 1  オートマトンと言語 

人名 Michael Sipser/著
人名ヨミ Michael Sipser
出版者・発行者 共立出版
出版年月 2023.4


書誌詳細

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

書誌種別 図書
タイトル 計算理論の基礎 1  オートマトンと言語 
タイトルヨミ ケイサン リロン ノ キソ オートマトン ト ゲンゴ 
人名 Michael Sipser/著   田中 圭介/監訳   藤岡 淳/監訳   阿部 正幸/訳   植田 広樹/訳   太田 和夫/訳   田中 圭介/訳   藤岡 淳/訳   渡辺 治/訳
人名ヨミ Michael Sipser タナカ ケイスケ フジオカ アツシ アベ マサユキ ウエダ ヒロキ オオタ カズオ タナカ ケイスケ フジオカ アツシ ワタナベ オサム
出版者・発行者 共立出版
出版者・発行者等ヨミ キョウリツ シュッパン
出版地・発行地 東京
出版・発行年月 2023.4
ページ数または枚数・巻数 27,194,40p
大きさ 21cm
価格 ¥3400
ISBN 978-4-320-12561-2
ISBN 4-320-12561-2
注記 原タイトル:Introduction to the theory of computation 原著第3版の翻訳
注記 文献:巻末p1〜7
分類記号 007.1
件名 オートマトン計算量理論
件名 形式言語
内容紹介 計算の理論の主テーマである、オートマトンと言語の理論、計算可能性の理論、計算の複雑さの理論をまとめた、計算理論の教科書。問題に対する解答を加えた原著第3版を分冊にしたもの。1はオートマトンと言語を収録。
言語区分 JPN
タイトルコード 1009812670668
目次 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 決定性文脈自由言語



目次


内容細目

関連資料

この資料に関連する資料を 同じ著者 出版年 分類 件名 受賞などの切り口でご紹介します。

Michael Sipser 田中 圭介 藤岡 淳 阿部 正幸 植田 広樹 太田 和夫 田中 圭介 藤岡 淳…
オートマトン 計算量理論
もどる

本文はここまでです。


ページの終わりです。