1、第第1 1章章 引言引言主要內(nèi)容主要內(nèi)容n計(jì)算機(jī)系統(tǒng)的概念結(jié)構(gòu)計(jì)算機(jī)系統(tǒng)的概念結(jié)構(gòu)n主機(jī)系統(tǒng)主機(jī)系統(tǒng)n計(jì)算模型計(jì)算模型2了解系統(tǒng)的整體結(jié)構(gòu)了解系統(tǒng)的整體結(jié)構(gòu)了解計(jì)算機(jī)的能力局限了解計(jì)算機(jī)的能力局限一、計(jì)算機(jī)系統(tǒng)一、計(jì)算機(jī)系統(tǒng)3計(jì)算機(jī)系統(tǒng)組成計(jì)算機(jī)系統(tǒng)組成Personal Computer5計(jì)算機(jī)系統(tǒng)組成計(jì)算機(jī)系統(tǒng)組成計(jì)算機(jī)系統(tǒng)組成計(jì)算機(jī)系統(tǒng)組成6計(jì)算機(jī)計(jì)算機(jī)硬件系統(tǒng)硬件系統(tǒng)軟件系統(tǒng)軟件系統(tǒng)7計(jì)算機(jī)系統(tǒng)計(jì)算機(jī)系統(tǒng)硬件系統(tǒng)硬件系統(tǒng)軟件系統(tǒng)軟件系統(tǒng)主機(jī)系統(tǒng)主機(jī)系統(tǒng)外部設(shè)備外部設(shè)備所有可以通過(guò)所有可以通過(guò)輸入輸出接口輸入輸出接口與計(jì)算機(jī)進(jìn)行與計(jì)算機(jī)進(jìn)行信息交換的電信息交換的電子設(shè)備子設(shè)備二、主機(jī)系統(tǒng)二

2、、主機(jī)系統(tǒng)89主機(jī)系統(tǒng)主機(jī)系統(tǒng)CPUCPU存儲(chǔ)器存儲(chǔ)器輸入輸出接口輸入輸出接口總線總線10CPU（微微處理器處理器）nCPUCPU（Central Central Processing UnitProcessing Unit）是計(jì)算機(jī)的核）是計(jì)算機(jī)的核心。心。n提供運(yùn)算和控制功能。提供運(yùn)算和控制功能。n例：例：nIntel 8086Intel 8086、Pentium ProPentium Pro、P4P4、Core 2Core 2、Core i7Core i7nAMD SempronAMD Sempron、DuronDuron、AthlonAthlon11CPUn主要包括：主要包括： 運(yùn)算器

3、（運(yùn)算器（ALUALU） 控制器（控制器（ CUCU） 寄存器組（寄存器組（RegistersRegisters）微處理器的基本結(jié)構(gòu)微處理器的基本結(jié)構(gòu)1213存儲(chǔ)器存儲(chǔ)器n計(jì)算機(jī)中的記憶裝置計(jì)算機(jī)中的記憶裝置n用于存放需要計(jì)算機(jī)處理的各種信息。用于存放需要計(jì)算機(jī)處理的各種信息。內(nèi)存儲(chǔ)器內(nèi)存儲(chǔ)器外存儲(chǔ)器外存儲(chǔ)器存儲(chǔ)器存儲(chǔ)器n有關(guān)存儲(chǔ)器的術(shù)語(yǔ)：有關(guān)存儲(chǔ)器的術(shù)語(yǔ)：n存儲(chǔ)容量存儲(chǔ)容量n存放的數(shù)據(jù)量。用字節(jié)表示存放的數(shù)據(jù)量。用字節(jié)表示。n對(duì)存儲(chǔ)器的操作對(duì)存儲(chǔ)器的操作n讀（出），寫(xiě)（入）讀（出），寫(xiě)（入）14每每8 8位位0 0或或1 1稱稱為為1 1字節(jié)字節(jié)（ByteByte）對(duì)某個(gè)器件的讀對(duì)某個(gè)器件的

4、讀/ /寫(xiě)寫(xiě)= =與其的信息交換與其的信息交換151 1）外存儲(chǔ)器外存儲(chǔ)器n脫機(jī)外存脫機(jī)外存n光盤、優(yōu)盤、移動(dòng)硬盤、等光盤、優(yōu)盤、移動(dòng)硬盤、等n聯(lián)機(jī)外存聯(lián)機(jī)外存n硬磁盤硬磁盤n固態(tài)盤固態(tài)盤半導(dǎo)體材料制造半導(dǎo)體材料制造硬盤管理硬盤管理n硬盤由多個(gè)盤片疊加在一起構(gòu)成，信息記錄在硬盤由多個(gè)盤片疊加在一起構(gòu)成，信息記錄在盤片上。每個(gè)盤片包括兩個(gè)記錄面。盤片上。每個(gè)盤片包括兩個(gè)記錄面。n磁盤管理：磁盤管理：n記錄面或磁頭數(shù)（信息存儲(chǔ)）記錄面或磁頭數(shù)（信息存儲(chǔ)）n磁道磁道n盤面上劃分出的不同半徑的同心圓盤面上劃分出的不同半徑的同心圓n扇區(qū)扇區(qū)n每條磁道上劃分出的等分區(qū)段（每條磁道上劃分出的等分區(qū)段（512

5、512字節(jié)）字節(jié)）n磁盤存儲(chǔ)容量：磁盤存儲(chǔ)容量：n磁頭數(shù)柱面數(shù)扇區(qū)數(shù)磁頭數(shù)柱面數(shù)扇區(qū)數(shù)512512（B B）16硬磁盤硬磁盤n特點(diǎn)（相對(duì)于內(nèi)存）：特點(diǎn)（相對(duì)于內(nèi)存）：n存儲(chǔ)容量大存儲(chǔ)容量大n存取速度慢存取速度慢n價(jià)格較低價(jià)格較低n不能與不能與CPUCPU直接進(jìn)行信息交換直接進(jìn)行信息交換n無(wú)需后備電源無(wú)需后備電源n硬盤在系統(tǒng)中主要用于信息的長(zhǎng)期存儲(chǔ)。硬盤在系統(tǒng)中主要用于信息的長(zhǎng)期存儲(chǔ)。17182）內(nèi)存儲(chǔ)器內(nèi)存儲(chǔ)器n特點(diǎn)特點(diǎn): :n存取速度較快，容量相對(duì)較小。存取速度較快，容量相對(duì)較小。19內(nèi)存儲(chǔ)器內(nèi)存儲(chǔ)器n內(nèi)存按單元組織內(nèi)存按單元組織n每個(gè)內(nèi)存單元中存放每個(gè)內(nèi)存單元中存放1Byte1Byte數(shù)據(jù)

6、數(shù)據(jù)n內(nèi)存單元個(gè)數(shù)稱為內(nèi)存容量?jī)?nèi)存單元個(gè)數(shù)稱為內(nèi)存容量。38F04H內(nèi)存地址內(nèi)存地址單元內(nèi)容單元內(nèi)容10110110內(nèi)存儲(chǔ)器內(nèi)存儲(chǔ)器內(nèi)存單元內(nèi)存單元20總線總線n是是一組導(dǎo)線和相關(guān)控制、驅(qū)動(dòng)電路一組導(dǎo)線和相關(guān)控制、驅(qū)動(dòng)電路的的集合。是集合。是計(jì)算機(jī)系統(tǒng)各部件之間傳輸?shù)刂?、?shù)據(jù)和控制計(jì)算機(jī)系統(tǒng)各部件之間傳輸?shù)刂贰?shù)據(jù)和控制信息信息的的通道。通道。n按照層次結(jié)構(gòu)，總線可以分為：按照層次結(jié)構(gòu)，總線可以分為：CPUCPU總線總線系統(tǒng)總線系統(tǒng)總線外設(shè)總線外設(shè)總線21多總線結(jié)構(gòu)多總線結(jié)構(gòu)n現(xiàn)代微型機(jī)中采用多現(xiàn)代微型機(jī)中采用多總線結(jié)構(gòu)總線結(jié)構(gòu) 22總線的主要性能指標(biāo)總線的主要性能指標(biāo)n總線總線帶寬帶寬n單位

7、時(shí)間內(nèi)總線上可傳送的數(shù)據(jù)量（單位時(shí)間內(nèi)總線上可傳送的數(shù)據(jù)量（B/SB/S）n= =（位寬（位寬/8/8）工作工作頻率頻率能同時(shí)傳送的能同時(shí)傳送的數(shù)據(jù)數(shù)據(jù)位數(shù)（位數(shù)（bitbit）工作頻率越高，位寬越寬，則總線帶寬越大工作頻率越高，位寬越寬，則總線帶寬越大23輸入輸入/ /輸出接口輸出接口nI/OI/O（Input/OutputInput/Output）接口是）接口是CPUCPU與外部設(shè)與外部設(shè)備間的橋梁備間的橋梁CPUI/OI/O接口接口外設(shè)外設(shè)24接口的主要功能接口的主要功能n實(shí)現(xiàn)主機(jī)與外設(shè)間的運(yùn)行匹配實(shí)現(xiàn)主機(jī)與外設(shè)間的運(yùn)行匹配n對(duì)外設(shè)的控制管理對(duì)外設(shè)的控制管理CPUCache存存儲(chǔ)儲(chǔ)器器網(wǎng)

8、卡網(wǎng)卡并行通信并行通信至局域網(wǎng)至局域網(wǎng)串行通信串行通信系統(tǒng)系統(tǒng)總線總線微機(jī)系統(tǒng)概念結(jié)構(gòu)微機(jī)系統(tǒng)概念結(jié)構(gòu)微型計(jì)算機(jī)系統(tǒng)微型計(jì)算機(jī)系統(tǒng)硬件系統(tǒng)硬件系統(tǒng)軟件系統(tǒng)軟件系統(tǒng)主機(jī)系統(tǒng)主機(jī)系統(tǒng)外部設(shè)備外部設(shè)備CPUCPU存儲(chǔ)器存儲(chǔ)器總線總線I/OI/O接口接口系統(tǒng)軟件系統(tǒng)軟件應(yīng)用軟件應(yīng)用軟件能夠與能夠與CPUCPU直接進(jìn)行直接進(jìn)行信息交換信息交換的的部件屬于部件屬于主機(jī)系統(tǒng)主機(jī)系統(tǒng)不能夠與不能夠與CPUCPU直接進(jìn)行信息交換的部件屬于直接進(jìn)行信息交換的部件屬于外部設(shè)外部設(shè)備備外存儲(chǔ)器屬外存儲(chǔ)器屬于主機(jī)嗎？于主機(jī)嗎？主機(jī)系統(tǒng)主機(jī)系統(tǒng)三、圖靈模型與計(jì)算三、圖靈模型與計(jì)算28雖然雖然這里這里的的“計(jì)算計(jì)算” ”

9、可可能是廣義的能是廣義的計(jì)算機(jī)是一種計(jì)算裝置計(jì)算機(jī)是一種計(jì)算裝置為什么能夠發(fā)明出計(jì)算機(jī)？為什么能夠發(fā)明出計(jì)算機(jī)？計(jì)算機(jī)的理論基礎(chǔ)是什么？計(jì)算機(jī)的理論基礎(chǔ)是什么？nAlan Mathison Turingn英國(guó)著名數(shù)學(xué)家和邏輯學(xué)家英國(guó)著名數(shù)學(xué)家和邏輯學(xué)家n設(shè)計(jì)理論計(jì)算機(jī)設(shè)計(jì)理論計(jì)算機(jī)n計(jì)算與自動(dòng)進(jìn)行的機(jī)械操作聯(lián)系在計(jì)算與自動(dòng)進(jìn)行的機(jī)械操作聯(lián)系在一起一起291. 圖靈機(jī)模型圖靈機(jī)模型n論文論文: :“論數(shù)字計(jì)算在決斷難題中的應(yīng)用論數(shù)字計(jì)算在決斷難題中的應(yīng)用”n給出給出“可計(jì)算性可計(jì)算性”的嚴(yán)格的數(shù)學(xué)定義的嚴(yán)格的數(shù)學(xué)定義n圖靈機(jī)（圖靈機(jī)（Turing MachineTuring Machine，TM

10、TM）n用機(jī)器來(lái)模擬人們用筆和紙用機(jī)器來(lái)模擬人們用筆和紙進(jìn)行運(yùn)算進(jìn)行運(yùn)算的過(guò)程的過(guò)程30將計(jì)算與自動(dòng)進(jìn)行的機(jī)械操作聯(lián)系在一起將計(jì)算與自動(dòng)進(jìn)行的機(jī)械操作聯(lián)系在一起圖靈機(jī)圖靈機(jī)模型模型n組成：組成：n一條無(wú)限長(zhǎng)的紙帶一條無(wú)限長(zhǎng)的紙帶TypeTypen一個(gè)讀寫(xiě)頭一個(gè)讀寫(xiě)頭HeadHeadn一組內(nèi)部狀態(tài)一組內(nèi)部狀態(tài)n一套控制規(guī)則一套控制規(guī)則TableTable。31圖靈機(jī)圖靈機(jī)基本基本工作原理工作原理32紙帶紙帶單元格單元格帶符帶符n3 3個(gè)動(dòng)作：個(gè)動(dòng)作：n改寫(xiě)當(dāng)前格改寫(xiě)當(dāng)前格n左移左移1 1格格n或右移或右移1 1格。格。包含一組固定的狀包含一組固定的狀態(tài)和規(guī)則（程序）態(tài)和規(guī)則（程序）n圖靈機(jī)工作條

11、件：圖靈機(jī)工作條件：輸入帶符的集合輸入帶符的集合內(nèi)部狀態(tài)的集合內(nèi)部狀態(tài)的集合一組控制規(guī)則一組控制規(guī)則n圖靈機(jī)的工作狀態(tài)圖靈機(jī)的工作狀態(tài)（讀寫(xiě)頭移動(dòng)（讀寫(xiě)頭移動(dòng)或不移動(dòng)，改寫(xiě)或不移動(dòng)，改寫(xiě)帶符或不帶符或不改寫(xiě)）改寫(xiě)）取決于：取決于：33圖靈機(jī)圖靈機(jī)基本工作原理基本工作原理工作狀態(tài)取決于工作狀態(tài)取決于規(guī)則和內(nèi)部狀態(tài)規(guī)則和內(nèi)部狀態(tài)圖靈機(jī)圖靈機(jī)基本工作原理基本工作原理n圖靈機(jī)的工作過(guò)程：圖靈機(jī)的工作過(guò)程：n讀寫(xiě)頭從紙帶上讀出一個(gè)方格中的信息；讀寫(xiě)頭從紙帶上讀出一個(gè)方格中的信息；n根據(jù)內(nèi)部狀態(tài)查規(guī)則表根據(jù)內(nèi)部狀態(tài)查規(guī)則表TableTable；n確定輸出動(dòng)作確定輸出動(dòng)作選擇以下三個(gè)動(dòng)作之一：選擇以下三個(gè)動(dòng)

12、作之一：向紙帶上寫(xiě)向紙帶上寫(xiě)/ /不寫(xiě)入信息；不寫(xiě)入信息；使讀寫(xiě)頭向前移動(dòng)一個(gè)方格；使讀寫(xiě)頭向前移動(dòng)一個(gè)方格；使讀寫(xiě)頭向后移動(dòng)一個(gè)方格。使讀寫(xiě)頭向后移動(dòng)一個(gè)方格。n說(shuō)明下一時(shí)刻內(nèi)部狀態(tài)的變化。說(shuō)明下一時(shí)刻內(nèi)部狀態(tài)的變化。34輸入輸入控制控制程序程序輸出輸出圖靈機(jī)圖靈機(jī)基本工作原理基本工作原理n規(guī)則表：規(guī)則表：35當(dāng)前內(nèi)部狀態(tài)當(dāng)前內(nèi)部狀態(tài)S輸入數(shù)值輸入數(shù)值i輸出動(dòng)作輸出動(dòng)作O下一時(shí)刻的內(nèi)部狀態(tài)下一時(shí)刻的內(nèi)部狀態(tài)SB1前移前移CA0往紙帶上寫(xiě)往紙帶上寫(xiě)1BC0后移后移A圖靈機(jī)圖靈機(jī)示例示例n設(shè)計(jì)計(jì)算設(shè)計(jì)計(jì)算“5+15+1”的圖靈機(jī)，要求計(jì)算結(jié)束后讀的圖靈機(jī)，要求計(jì)算結(jié)束后讀寫(xiě)頭回到原位。寫(xiě)頭回到原

13、位。n題目分析：題目分析：nTMTM的工作條件是：的工作條件是：n輸入帶符集合，內(nèi)部狀態(tài)集合，一組控制規(guī)則輸入帶符集合，內(nèi)部狀態(tài)集合，一組控制規(guī)則n設(shè)計(jì)：設(shè)計(jì)：n輸入符號(hào)集合輸入符號(hào)集合 （采用（采用0 0和和1 1表示）表示）n=0=0，1 1，* * n狀態(tài)集合狀態(tài)集合Q QnStartStart，addadd，carrycarry，noncarrynoncarry，overflowoverflow，returnreturn，halthalt 36圖靈機(jī)圖靈機(jī)示例示例n ：控制器規(guī)則的集合：控制器規(guī)則的集合37輸入輸入響應(yīng)響應(yīng)當(dāng)前狀態(tài)當(dāng)前狀態(tài)當(dāng)前符號(hào)當(dāng)前符號(hào)新符合新符合讀寫(xiě)頭移動(dòng)讀寫(xiě)頭移動(dòng)

14、新?tīng)顟B(tài)新?tīng)顟B(tài)Start*LeftAddAdd01LeftNoncarryAdd10LeftCarryAdd*RightHaltCarry01LeftNoncarryCarry10LeftCarryCarry*1LeftOverflowNoncarry 00LeftNoncarryNoncarry 11LeftNoncarryNoncarry *RightReturnoverflow0或1*RightReturnReturn 00RightReturnReturn 11RightReturnReturn *stayHalt圖靈機(jī)圖靈機(jī)示例示例設(shè)置讀寫(xiě)頭的起始位置在最右側(cè)，紙帶上存儲(chǔ)的內(nèi)容為設(shè)置讀

15、寫(xiě)頭的起始位置在最右側(cè)，紙帶上存儲(chǔ)的內(nèi)容為5 538*10*1Start圖靈機(jī)圖靈機(jī)示例示例39*10*1Add按照規(guī)則表，讀寫(xiě)頭向左移動(dòng)一格，狀態(tài)變?yōu)榘凑找?guī)則表，讀寫(xiě)頭向左移動(dòng)一格，狀態(tài)變?yōu)椤凹蛹印陛斎胼斎腠憫?yīng)響應(yīng)當(dāng)前狀態(tài)當(dāng)前狀態(tài)當(dāng)當(dāng)前前帶帶符號(hào)符號(hào)新符號(hào)新符號(hào)讀寫(xiě)頭移動(dòng)讀寫(xiě)頭移動(dòng)新?tīng)顟B(tài)新?tīng)顟B(tài)Start*LeftAdd*10*1Start圖靈機(jī)圖靈機(jī)示例示例40*00*1Carry做加法，若當(dāng)前方格中為內(nèi)容為做加法，若當(dāng)前方格中為內(nèi)容為“1 1”，則使其變?yōu)椋瑒t使其變?yōu)椤? 0”，然后讀寫(xiě)頭向左移動(dòng)一位，并有進(jìn)位。，然后讀寫(xiě)頭向左移動(dòng)一位，并有進(jìn)位。輸輸 入入響響 應(yīng)應(yīng)當(dāng)前狀態(tài)當(dāng)前狀態(tài)當(dāng)當(dāng)前

16、前帶帶符號(hào)符號(hào)新符號(hào)新符號(hào)讀寫(xiě)頭移動(dòng)讀寫(xiě)頭移動(dòng)新?tīng)顟B(tài)新?tīng)顟B(tài)Start*LeftAddAdd10LeftCarry*10*1Add圖靈機(jī)圖靈機(jī)示例示例41*01*1Noncarry若當(dāng)前狀態(tài)為若當(dāng)前狀態(tài)為“Carry”、方格中符號(hào)為、方格中符號(hào)為“0”，則使其變，則使其變?yōu)闉椤?”，然后讀寫(xiě)頭向左移動(dòng)一位，變?yōu)?，然后讀寫(xiě)頭向左移動(dòng)一位，變?yōu)椤盁o(wú)進(jìn)位無(wú)進(jìn)位”狀狀態(tài)。態(tài)。輸輸 入入響響 應(yīng)應(yīng)當(dāng)前狀態(tài)當(dāng)前狀態(tài)當(dāng)當(dāng)前前帶帶符號(hào)符號(hào)新符號(hào)新符號(hào)讀寫(xiě)頭移動(dòng)讀寫(xiě)頭移動(dòng)新?tīng)顟B(tài)新?tīng)顟B(tài)Start*LeftAddAdd10LeftCarryCarry01LeftNoncarry*00*1Carry圖靈機(jī)圖靈機(jī)示例示例

17、42*01*1Noncarry若當(dāng)前狀態(tài)為若當(dāng)前狀態(tài)為“NoncarryNoncarry”、方格中符號(hào)為、方格中符號(hào)為“1 1”，則使，則使其保持其保持“1 1”，讀寫(xiě)頭向左移動(dòng)一位，狀態(tài)不變。，讀寫(xiě)頭向左移動(dòng)一位，狀態(tài)不變。輸輸 入入響響 應(yīng)應(yīng)當(dāng)前狀態(tài)當(dāng)前狀態(tài)當(dāng)當(dāng)前前帶帶符號(hào)符號(hào)新符號(hào)新符號(hào)讀寫(xiě)頭移動(dòng)讀寫(xiě)頭移動(dòng)新?tīng)顟B(tài)新?tīng)顟B(tài)Start*LeftAddAdd10LeftCarryCarry01LeftNoncarryNoncarry 11LeftNoncarry*01*1Noncarry圖靈機(jī)圖靈機(jī)示例示例43*01*1Return按規(guī)則表操作：按規(guī)則表操作：輸輸 入入響響 應(yīng)應(yīng)當(dāng)前狀態(tài)當(dāng)前狀態(tài)

18、當(dāng)當(dāng)前前帶帶符號(hào)符號(hào)新符號(hào)新符號(hào)讀寫(xiě)頭移動(dòng)讀寫(xiě)頭移動(dòng)新?tīng)顟B(tài)新?tīng)顟B(tài)Start*LeftAddAdd10LeftCarryCarry01LeftNoncarryNoncarry 11LeftNoncarryNoncarry *RightReturn*01*1Noncarry圖靈機(jī)圖靈機(jī)示例示例44輸入輸入響應(yīng)響應(yīng)當(dāng)前狀態(tài)當(dāng)前狀態(tài)當(dāng)當(dāng)前前帶帶符號(hào)符號(hào)新符號(hào)新符號(hào)讀寫(xiě)頭移動(dòng)讀寫(xiě)頭移動(dòng)新?tīng)顟B(tài)新?tīng)顟B(tài)Start*LeftAddAdd10LeftCarryCarry01LeftNoncarryNoncarry 11LeftNoncarryNoncarry *RightReturnReturn *stayHal

19、t按規(guī)則表操作：按規(guī)則表操作：*01*1Halt理解圖靈機(jī)模型理解圖靈機(jī)模型n理解圖靈模型（理解圖靈模型（TMTM）的偉大）的偉大nTMTM是根據(jù)某項(xiàng)規(guī)則及當(dāng)前狀態(tài)，將輸入變換為輸出是根據(jù)某項(xiàng)規(guī)則及當(dāng)前狀態(tài)，將輸入變換為輸出n任何事物，包括人都可以抽象為圖靈模型任何事物，包括人都可以抽象為圖靈模型45圖靈機(jī)是萬(wàn)能的嗎？圖靈機(jī)是萬(wàn)能的嗎？2. 什么是計(jì)算什么是計(jì)算n計(jì)算計(jì)算n計(jì)算是對(duì)信息的變換計(jì)算是對(duì)信息的變換n計(jì)算是一個(gè)系統(tǒng)完成了一次從輸入到輸出的轉(zhuǎn)換。計(jì)算是一個(gè)系統(tǒng)完成了一次從輸入到輸出的轉(zhuǎn)換。n按確定的、有限的規(guī)則和步驟，將輸入轉(zhuǎn)換為輸出按確定的、有限的規(guī)則和步驟，將輸入轉(zhuǎn)換為輸出的過(guò)程。的過(guò)程。46算法算法計(jì)算無(wú)計(jì)算無(wú)處不在！處不在！3. 圖靈機(jī)與計(jì)算圖靈機(jī)與計(jì)算n圖靈機(jī)圖靈機(jī)n一個(gè)按照確定、有限的規(guī)則和步驟，將輸入信息進(jìn)行一個(gè)按照確定、有限的規(guī)則和步驟，將輸入信息進(jìn)行變換后給出輸出信息，并在遇到停止?fàn)顟B(tài)時(shí)就結(jié)束工變換后給出輸出信息，并在遇到停止?fàn)顟B(tài)時(shí)就結(jié)束工作的系統(tǒng)。作的系統(tǒng)。n圖靈證明了：圖靈證明了：n任何能夠被圖靈機(jī)完成的工作都是可計(jì)算的任何能夠被圖靈機(jī)完成的工作都是可計(jì)算的。n能夠能夠按照按照確確定、定、有限的規(guī)則和有限的規(guī)則和步驟步驟完成的計(jì)算完成的計(jì)算47圖靈機(jī)是計(jì)算裝置圖靈機(jī)是計(jì)算裝置什么問(wèn)題是可計(jì)算的？什么問(wèn)題是可計(jì)算的？不是所有問(wèn)題都是