计算机导论课程小结2

计算机导论课程小结2

一.图灵机
图灵机在理论上能够模拟现代数字计算机的一切运算，可以视为现代数字计算机的数学模型，是一种抽象的计算模型。图灵机能表示算法、程序和符号行的变换，因此成为计算机的数学模型，也可用做控制算法的数学模型。因此，图灵机模型理论是计算机科学最核心的理论之一，为计算机的设计指明了方向，同时也是算法分析和程序语言设计的理论基础。
一、问题描述 
 设计一个图灵机，实现二进制数x的加1运算，同时保存进位。最高位如
果有进位的话可以保存该进位。
二、实现思路
1.图灵机设计
图灵机M是一个七元组，M=（Q，∑，Γ，δ，q0，B，F），Q：状态的有穷集合；∑⊆Γ-｛B｝为输入字母表；Γ：带符号表； q0：q0∈Q是M的开始状态； B：B∈Γ称为空白符；F：F∈Q是终止状态集合；δ：M的转换函数。
在该x+1图灵机中，开始状态为s，终止状态为f，状态集合Q为{s,A,B,f}，空白符为*，字母表为{0,1}，进位标志位c，状态转移函数如下： 
状态A：表示无进位的加法；状态B：表示有进位加法 
状态转移函数为： 
δ（s,0）=(A,1,L)   c=0 
δ（s,1）=(B,0,L)   c=1 
δ（A,0）=(A,0,L)   c=0  
δ（A,0）=(A,1,L)   c=0
δ（B,0）=(A,1,L)   c=0
δ（B,1）=(B,0,L)   c=1
δ（A,*）=(f,0,R)

2、实现过程  
初始化图灵机，分别初始化数据带为*0，这样结束符就是*，最左端的0是为了接收最高位的进位，如果有溢出的话直接丢弃可能使得计算结果不正确。然后是接收输入二进制数x，将该数据初始化到图灵机数据带上。初始化状态带为初始状态s，初始化进位标志位0。然后就是按照状态转移函数开始执行，修改数据带，状态带，和进位标志，遇到最左端的*时终止图灵机的执行，同时输出此时图灵机的数据带数据，和状态带状态，以及进位标志位，最后输出计算结果。

二.计算机科学的学科形态
计算机科学的基本思路涵盖从理论研究、模型抽象到工程设计三个方面
（1）理论是数学的根本
（2）抽象是自然科学的根本
（3）设计是工程的根本
这三个方面彼此各有分工，但也相互联系，理论研究是基础，是链接科学研究与工程应用开发研究的重要环节；模型抽象是对客观现象和规律的描述和刻画；工程设计是对科学理论的工程化实现。计算机科学处于三者的交汇处。

三.个人计算机
1.冯.诺依曼体系结构
存储程序原理：
“存储程序”原理，是将根据特定问题编写的程序存放在计算机存储器中，然后按存储器中的存储程序的首地址执行程序的第一条指令，以后就按照该程序的规定顺序执行其他指令，直至程序结束执行。
（1）计算机内部采用 二进制计数；
（2）程序由一系列指令构成，程序和数据存放在内存储存器中，进行统一编址，并按照同样的方法存取；
（3）计算机硬件由运算器、控制器、输入设备和输出设备组成；
（4）将编好的程序和原始数据事先存入内储存器，计算机在程序的控制下一步步地处理数据直到得出结果。

（1）运算器用来完成算数运算和逻辑运算；
（2）储存器用来存放数据和程序；
（3）控制器用来协调和控制程序和数据的输入，程序的执行和运算结果的处理。
（4）输入设备用于将数据、程序输入计算机；
（5）输出设备用于将计算机的处理结果输出。
2.个人计算机的硬件子系统（如图）