張寅生著的《計算理論解析》介紹計算模型理論
，包括計算的對像、本質、定義、分類、表達、邏輯
和機械實現方法，以及計算模型的典型應用。
全書共分為6章。第1章介紹計算的對像和本質，
將離散變量作為圖靈計算(離散變量計算)的對像，將
其邏輯確定性和機械能行可計算性作為圖靈計算的本
質；第2章介紹可計算函數——遞歸函數；第3章介紹
計算機的數學原理；第4章介紹語言的計算；第5章介
紹判定問題的可計算性；第6章介紹計算模型的典型
應用。
本書是計算理論(計算模型、形式語言與自動機)
、計算機科學技術史、邏輯學、語言學、數學、哲學
的交叉研究，也是通過淺顯易懂的講解方式進行計算
機核心理論教學的嘗試。作者力圖為計算機相關人員
提供一個計算的本質特征的“靈魂”描述及其通俗解
釋，以使得計算機軟硬件的所有任務、過程，特別是
軟件的表達與執行歸結為數學原理和邏輯本質。
本書適合作為高等院校計算機、通信、自動化、
軟件工程、信息管理、數理邏輯與數學基礎、生成轉
換語言學等專業本科生和研究生的教材。同時，由於
本書內容深入淺出，能夠被僅具有基本數學知識的人
讀懂，因此也可供對計算機理論感興趣的廣大科技工
作者參考。

第1章 計算的對像和本質
參考文獻
第2章 可計算函數——遞歸函數
2.1 分解計算、逐步計算的思想
2.2 原始函數
2.3 遞歸函數的構造方法
2.3.1 復合方法
2.3.2 遞歸方法
2.4 遞歸函數的家族
2.5 遞歸函數的通俗解釋
參考文獻
第3章 計算機的數學原理
3.1 數學運算的基礎
3.2 希爾伯特第十個問題及其自動化解決思想
3.3 圖靈機原理
3.4 圖靈機的局部改進和變形
3.4.1 多帶圖靈機
3.4.2 圖靈機的復合
3.4.3 圖靈機參數的限定
參考文獻
第4章 語言的計算
4.1 圖靈計算的分類
4.2 語言的可計算性
4.3 作為枚舉器的圖靈機
4.4 作為語言識別器(接受器)的圖靈機
4.5 圖靈機和短語語法
4.6 線性有界自動機與上下文有關語法
4.7 下推自動機與上下文無關語法
4.8 確定型有窮自動機與正則語法
4.9 不確定型有窮自動機與正則語法
4.10 自動機接受的語言
參考文獻
第5章 判定問題的可計算性
5.1 基本概念
5.2 不可判定性問題實例
5.2.1 丟番圖方程整數解問題
5.2.2 對角線函數
5.2.3 停機問題
5.2.4 邏輯蘊涵
5.2.5 哥德爾語句G
參考文獻
第6章 計算模型的應用
6.1 計算機模擬圖靈機
6.2 語言識別和語法驗證
6.3 邏輯推理
6.4 計算復雜性分析
參考文獻