123,123,123

內(nèi)容簡(jiǎn)介

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

作者簡(jiǎn)介

暫缺《計(jì)算理論解析》作者簡(jiǎn)介

圖書目錄

第1章計(jì)算的對(duì)象和本質(zhì)1
參考文獻(xiàn)6
第2章可計(jì)算函數(shù)——遞歸函數(shù)7
2.1分解計(jì)算、逐步計(jì)算的思想8
2.2原始函數(shù)10
2.3遞歸函數(shù)的構(gòu)造方法11
2.3.1復(fù)合方法12
2.3.2遞歸方法12
2.4遞歸函數(shù)的家族21
2.5遞歸函數(shù)的通俗解釋22
參考文獻(xiàn)23
第3章計(jì)算機(jī)的數(shù)學(xué)原理25
3.1數(shù)學(xué)運(yùn)算的基礎(chǔ)25
3.2希爾伯特第十個(gè)問題及其自動(dòng)化解決思想28
3.3圖靈機(jī)原理32
3.4圖靈機(jī)的局部改進(jìn)和變形50
3.4.1多帶圖靈機(jī)50
3.4.2圖靈機(jī)的復(fù)合53
3.4.3圖靈機(jī)參數(shù)的限定57
參考文獻(xiàn)57
[1]計(jì)算理論解析[1]目錄〖2〗第4章語(yǔ)言的計(jì)算59
4.1圖靈計(jì)算的分類59
4.2語(yǔ)言的可計(jì)算性61
4.3作為枚舉器的圖靈機(jī)69
4.4作為語(yǔ)言識(shí)別器（接受器）的圖靈機(jī)70
4.5圖靈機(jī)和短語(yǔ)語(yǔ)法72
4.6線性有界自動(dòng)機(jī)與上下文有關(guān)語(yǔ)法77
4.7下推自動(dòng)機(jī)與上下文無(wú)關(guān)語(yǔ)法83
4.8確定型有窮自動(dòng)機(jī)與正則語(yǔ)法86
4.9不確定型有窮自動(dòng)機(jī)與正則語(yǔ)法89
4.10自動(dòng)機(jī)接受的語(yǔ)言94
參考文獻(xiàn)95
第5章判定問題的可計(jì)算性97
5.1基本概念97
5.2不可判定性問題實(shí)例98
5.2.1丟番圖方程整數(shù)解問題99
5.2.2對(duì)角線函數(shù)102
5.2.3停機(jī)問題104
5.2.4邏輯蘊(yùn)涵106
5.2.5哥德爾語(yǔ)句G109
參考文獻(xiàn)110
第6章計(jì)算模型的應(yīng)用112
6.1計(jì)算機(jī)模擬圖靈機(jī)112
6.2語(yǔ)言識(shí)別和語(yǔ)法驗(yàn)證115
6.3邏輯推理123
6.4計(jì)算復(fù)雜性分析133
參考文獻(xiàn)139