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

Author(s)

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

Bibliographic Information

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

有川節夫, 宮野悟著

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

培風館, 1986.9

Title Transcription

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

Access to Electronic Resource 1 items

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

  1986

  NDL Digital Collections

  Limited

Note

参考文献: p233-238

Description and Table of Contents

Description

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

Table of Contents

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

by "BOOK database"

Details

• NCID: BN00433502
• ISBN:
  • 4563007897
• Country Code: ja
• Title Language Code: jpn
• Text Language Code: jpn
• Place of Publication: 東京
• Pages/Volumes: v, 245p
• Size: 22cm
• Classification:
  • NDC8 : 007.1
  • NDC7 : 401
  • NDLC : MA41
• Subject Headings:
  • BSH : オートマトン
• Parent Bibliography ID:
  • BN00086373