2019-11-21 Summary
关于图灵机
图灵机,又称图灵计算、图灵计算机,是由数学家阿兰·麦席森·图灵(1912~1954)提出的一种抽象计算模型,即将人们使用纸笔进行数学运算的过程进行抽象,由一个虚拟的机器替代人们进行数学运算。
所谓的图灵机就是指一个抽象的机器,它有一条无限长的纸带,纸带分成了一个一个的小方格,每个方格有不同的颜色。有一个机器头在纸带上移来移去。机器头有一组内部状态,还有一些固定的程序。在每个时刻,机器头都要从当前纸带上读入一个方格信息,然后结合自己的内部状态查找程序表,根据程序输出信息到纸带方格上,并转换自己的内部状态,然后进行移动。
图灵机设计
图灵机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)
计算机科学的科学形态
抽象—理论—设计(二种形态):计算学科中的基本内容,基本概念;同时反映了人们的认识是从感性认识(抽象)到理性认识(论),山理性认识(理论)回到实践(设计)中来的一般科学思维方法
1、抽象形态
科学抽象是指在思维中对同类事物去除其现象的、次要的方面,抽取其共同的、主要的方面,从而做到从个别中把握一般,从现象中把握木质的认知过程和思维方法。学科中的抽象形态包含着具体的内容,它们是学科中所共有的科学概念、科学符号和思想模型。
2、理论形态
科学认识山感性阶段上升为理性阶段,就形成了科学理论。科学理论是经过实践检验的系统化了的科学知识体系,它是山科学概念、科学原理以及对这些概念、原理的理论论证所组成的体系。理论源于数学,是从抽象到抽象的升华,它们已
经完全脱离现实事物,不受现实事物的限制,其有精确的、优关的特征,因而更能把握事物的木质。
3、设计形态
设计形态与抽象、埋论两个形态存在的联系:设计源于工程,H于系统或设备的开发,实现给定的任务设计形态和抽象、理论两个形态部须以对门然规律的认识为前提设计必须创造出相应的人工系统和人工条件,还必须认识自然规律的具体表现形式设计形态的主要特征与抽象、理论两个形态的主要区别:设计形态具有较强的实践性、社会性、综合性
冯诺依曼体系结构
一、背景
从20世纪初,物理学和电子科学家们就在争论制造可以进行数值计算的计算器应该采用什么样的结构。人们被 十进制 这个人类习惯的计数方法所困扰。所以,那时以研制模拟计算机的呼声更为响亮和有力。直到20世纪30年代中期,美国科学家 冯·诺依曼 就大胆的提出:抛弃 十进制,采用 二进制 作为 数字计算机 的数制基础。同时,他还提出了预先编制计算程序,然后由计算机来按照人们事前制定的计算顺序来执行数值计算工作。从此人们把 冯·诺依曼 的这个理论称为 冯·诺依曼体系结构。
二、内容
-
经典的 冯·诺依曼 体系结构图
-
特点
冯·诺依曼体系结构 也是现代计算机的 硬件 体系结构,它包括五大硬件单元:
a) 输入设备:键盘
b) 输出设备:显示器
c) 存储器:内存
d) 运算器:用于完成 算术运算 和 逻辑运算
e) 控制器
其中 运算器 和 控制器 组成 中央处理器,也叫 CPU。 -
根据 冯·诺依曼 体系结构构成的计算机所具备的功能:
a) 把需要的程序和数据送至计算机中。
b) 必须具有长期记忆程序、数据、中间结果及最终运算结果的能力。
c) 能够完成各种算术、逻辑运算和数据传送等数据加工处理的能力。
d) 能够按照要求将处理结果输出给用户。 -
工作原理(流程)
输入设备获取数据存储到内存中,CPU 从内存中取出数据并进行处理,运算完毕后在交给内存,内存将 CPU 处理过的数据交给输出设备,由输出设备进行数据的输出。 -
注意
a) 存储器指的是 内存,而不是 外存(磁盘)
b) 不考虑缓存的情况下,这里的 CPU 能且只能对内存进行读写,不能访问外设(输入或输出设备)
c)外设(输入或输出设备)要进行输入或者输出数据时,也只能写入内存或者从内存中读取数据
d) 所有设备都只能直接和内存打交道