オートマトンと計算可能性

著者

• 有川, 節夫 アリカワ, セツオ
• 宮野, 悟 ミヤノ, サトル

書誌事項

オートマトンと計算可能性

有川節夫, 宮野悟著

（情報処理シリーズ, 9）

培風館, 1986.9

タイトル読み

オートマトン ト ケイサン カノウセイ

電子リソースにアクセスする 全1件

• オートマトンと計算可能性

  1986

  NDLデジタルコレクション

  限定公開

注記

参考文献: p233-238

内容説明・目次

内容説明

本書は、計算機科学の理論的な基盤である計算理論、オートマトン論や計算量理論の要点を素早く理解できる、理論計算機科学の入門書である。情報科学、情報工学、計算機科学関連の学部学生、大学院生の通年用テキスト、または計算理論とオートマトンに関する半年用テキストとして最適である。さらに、関連分野への橋渡しとして、研究者、技術者の参考書としても十分利用できる。

目次

• １　準備
• ２　有限オートマトン
• ３　文脈自由言語
• ４　帰納的関数
• ５　Ｔｕｒｉｎｇ機関による関数の計算
• ６　帰納的に可算な集合と決定問題
• ７　計算量理論の基本概念
• ８　ＮＰ完全性とＰＳＰＡＣＥ完全性
• ９　計算量理論のいくつかの話題

「BOOKデータベース」 より

詳細情報

• NII書誌ID(NCID): BN00433502
• ISBN:
  • 4563007897
• 出版国コード: ja
• タイトル言語コード: jpn
• 本文言語コード: jpn
• 出版地: 東京
• ページ数/冊数: v, 245p
• 大きさ: 22cm
• 分類:
  • NDC8 : 007.1
  • NDC7 : 401
  • NDLC : MA41
• 件名:
  • BSH : オートマトン
• 親書誌ID:
  • BN00086373