資料詳細

【図書】 オートマトンと計算可能性

情報処理シリーズ --
有川節夫，宮野悟／著, 　 -- 培風館 -- １９８６．９ -- ２２ｃｍ -- ２４５ｐ

タイトル	オートマトンと計算可能性
シリーズ名	情報処理シリーズ
著者名等	有川節夫，宮野悟／著,
出版	培風館１９８６．９
大きさ等	２２ｃｍ２４５ｐ
分類	410.9
件名	オートマトン
内容	参考文献：ｐ２３３～２３８
要旨	本書は、計算機科学の理論的な基盤である計算理論、オートマトン論や計算量理論の要点を素早く理解できる、理論計算機科学の入門書である。情報科学、情報工学、計算機科学関連の学部学生、大学院生の通年用テキスト、または計算理論とオートマトンに関する半年用テキストとして最適である。さらに、関連分野への橋渡しとして、研究者、技術者の参考書としても十分利用できる。
目次	１　準備；２　有限オートマトン；３　文脈自由言語；４　帰納的関数；５　Ｔｕｒｉｎｇ機関による関数の計算；６　帰納的に可算な集合と決定問題；７　計算量理論の基本概念；８　ＮＰ完全性とＰＳＰＡＣＥ完全性；９　計算量理論のいくつかの話題
ISBN(13)、ISBN	4-563-00789-7
書誌番号	1190232723
URL	https://opac.lib.city.yokohama.lg.jp/winj/opac/switch-detail.do?bibid=1190232723

所蔵

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

所蔵館	所蔵場所	別置	請求記号	資料区分	状態	取扱	資料コード
中央	書庫		410.9/110	一般書	利用可	-	0004948769