图灵机阅读笔记

1.数理逻辑用数学的方法，也就是用符号和公式，公理的方法研究人的思维过程，思维规律；

；（数理逻辑）形式逻辑研究人的思维的形式和一般规律，研究思维外部表现的规律（归纳推理，演绎逻辑）；程序等于算法加数据；算法等于逻辑加控制；

2.莱布尼茨：精确的，普遍的符号语言，并寻求一种推理演算，以便用演算去解决人如何推理的问题；

3.数理逻辑，数字计算机三者均出于一个统一的目的，即人的思维过程的演算化，计算机化，以至于在计算机上实现；

4.图灵：抽象计算模型，由一个虚拟的计算机替代人们进行数学运算

5.图灵机指一个抽象的机器，它有一条无限长的纸带，纸带分成了一个个的小方格，每个方格不同颜色，机器头在纸带上移来移去，机器头有内部状态，还有一些固定的程序，机器头读入纸带的信息，结合内部的状态程序查找表，将程序输出信息输出到纸带上，并转换自己内部的状态

将人的行为分解：1.纸带上写下或擦除符号；2.移动注意力到另一个位置；3.依赖当前关注的符号和人的状态，决定下一步动作；

故图灵机：1.一个纸带；2.一个读写头；3.一个table控制规则，当前状态；4.状态寄存器；

现代计算机：抽象和理论两个过程关心的是解决具有能行性和有效性的模型问题；设计过程关心的是模型的具体实现问题；

计算机5个组成：输入，存储，处理，控制，输出

处理和控制就是CPU