このページのリンク

利用統計

  • このページへのアクセス:487回

  • 貸出数:107回
    (1年以内の貸出数:10回)

<図書>
オートマトンと言語
オートマトン ト ゲンゴ

責任表示 Michael Sipser著 ; 阿部正幸 [ほか] 訳
シリーズ 計算理論の基礎 / Michael Sipser著 ; 阿部正幸 [ほか] 訳 ; 1
データ種別 図書
出版者 東京 : 共立出版
出版年 2008.5
本文言語 日本語
大きさ xxiii, 158, 48p : 挿図 ; 21cm
目次 第1巻 オートマトンと言語(序論
正規言語
文脈自由言語)
第2巻 計算可能性の理論(Church‐Turingの提唱
判定可能性
帰着可能性
計算可能性の理論における先進的な話題)
第3巻 複雑さの理論(時間の複雑さ
領域の複雑さ
問題の扱いにくさ
計算の複雑さの理論における先進的な話題)
続きを見る

所蔵情報


理系図1F 開架 031112009000727 007.1/Si 8 2009

理系図3F 数理独自 023112008000637 SIPS/10/1-1a 2008

理系図3F 数理独自 033112013000268 SIPS/10/1-1aA 2011

書誌詳細

一般注記 その他の訳者: 植田広樹, 藤岡淳, 渡辺治
監訳: 太田和夫, 田中圭介
原著第2版の翻訳
参考文献: 巻末p[1]-6
欧文索引: 巻末p[7]-27
和文索引: 巻末p[29]-48
著者標目 Sipser, Michael
阿部, 正幸 <アベ, マサユキ>
植田, 広樹 <ウエダ, ヒロキ>
藤岡, 淳 <フジオカ, アツシ>
渡辺, 治(1958-) <ワタナベ, オサム>
太田, 和夫(1954-) <オオタ, カズオ>
田中, 圭介(1969-) <タナカ, ケイスケ>
件 名 BSH:オートマトン
BSH:計算量理論
BSH:形式言語
分 類 NDC8:007.1
NDC9:007.1
書誌ID 1001190102
ISBN 9784320122079
NCID BA86003560
巻冊次 ISBN:9784320122079 ; PRICE:3000円+税
登録日 2009.09.18
更新日 2013.05.16

類似資料

この資料を見た人はこんな資料も見ています

この資料を借りた人はこんな資料も借りています