検索結果資料の内容

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

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

蔵書情報

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

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

資料の状態

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

No. 資料番号 資料種別 請求記号 配架場所 状態 貸出
1 0008626913図書一般007.1/ｼﾌ08/1書庫貸出可  ○

この資料に対する操作

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

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

この資料に対する操作

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

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

書誌情報サマリ

タイトル

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

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

書誌詳細

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

書誌種別 図書
タイトル 計算理論の基礎　1　　オートマトンと言語　
タイトルヨミ ケイサン リロン ノ キソ　オートマトン ト ゲンゴ　
人名 Michael Sipser／著 　 太田 和夫／監訳 　 田中 圭介／監訳 　 阿部 正幸／[ほか]訳
人名ヨミ Michael Sipser　オオタ カズオ　タナカ ケイスケ　アベ マサユキ
出版者・発行者 共立出版
出版者・発行者等ヨミ キョウリツ シュッパン
出版地・発行地 東京
出版・発行年月 2008.5
ページ数または枚数・巻数 23,158,48p
大きさ 21cm
価格 ￥３０００
ISBN 978-4-320-12207-9
ISBN 4-320-12207-9
注記 原タイトル:Introduction to the theory of computation 原著第2版の翻訳
注記 文献:巻末p1〜6
分類記号 007.1
件名 オートマトン ／ 計算量理論
件名 形式言語
内容紹介 計算の理論の主テーマである、オートマトンと言語の理論、計算可能性の理論、計算の複雑さの理論をまとめた、計算理論の教科書。問題に対する解答を加えた原著第2版を分冊にしたもの。1はオートマトンと言語を収録。
言語区分 jpn
タイトルコード 1009811079790
目次 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 非文脈自由言語



目次


内容細目

関連資料

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

オートマトン　計算量理論
もどる
このページの先頭へ トップページへ

本文はここまでです。

ページの終わりです。