《可計算性理論》是1987年科學出版社出版的圖書，作者是莫紹揆、王元元。
基本介紹
- 中文名：可計算性理論
- 作者：莫紹揆、王元元
- 出版社：科學出版社
- 出版時間：1987年12月
- ISBN：7030000617
內容簡介,圖書目錄,
內容簡介
本書包括數理邏輯的遞歸論和形式語言論兩部分內容．一至八章為遞歸論部分，詳盡地研究了初等函式、原始遞歸函式、遞歸函式及各類運算元，充分地討論了Turing機與Turing可計算性概念．九、十兩章為形式語言論部分，系統地介紹了各種形式語言及相應的語言識別器——各類自動機．作為遞歸論內容的深入，本書還概要地介紹了遞歸集、遞歸枚舉集及遞歸度的概念；作為上述兩部分內容的套用，第十一章還討論了判定問題．
本書可作為高等院校計算機專業及有關專業的教材，也可供計算機科學和數學工作者閱讀、參考．
圖書目錄
- 目錄
- 第一章 引論
- 第二章 迭置及運算元
- 第三章 初等函式集
- 第四章 原始遞歸函式集
- 第五章 遞歸函式集
- 第六章 遞歸字函式集
- 第七章 Turing機
- 第八章 Turing可計算函式集
- 第九章 形式語言和自動機
- 第十章 遞歸集、遞歸枚舉集
- 第十一章 判定問題
- 參考文獻
