计算机语言按发展历程分为,第一章 计算机语言的学科形态与发展历程.ppt

第一章 计算机语言的学科形态与发展历程.ppt

? 第一章 计算机语言的学科形态与发展历程 计算学科中的抽象形态 《计算作为一门学科》报告认为：理论、抽象和设计是我们从事本领域工作的3种主要形态。 按人们对客观事物认识的先后次序，抽象列为第一个学科形态，理论列为第二个学科形态。抽象源于实验科学。按客观现象的研究过程，抽象形态包括以下4个步骤的内容： (1)形成假设； (2)建造模型并作出预测； (3)设计实验并收集数据； (4)对结果进行分析。 计算学科中的理论形态 在计算学科中，从统一合理的理论发展过程来看，理论形态包括以下4个步骤的内容： (1)表述研究对象的特征(定义和公理)； (2)假设对象之间的基本性质和对象之间可能存在的关系(定理)； (3)确定这些关系是否为真(证明)； (4)结论。 计算学科中的设计形态 在计算学科中，从为解决某个问题而实现系统或装置的过程来看，设计形态包括以下4个步骤的内容： (1)需求分析； (2)建立规格说明； (3)设计并实现该系统； (4)对系统进行测试与分析。 计算学科中的3个学科形态内在联系 3个学科形态的内在联系 抽象源于现实世界。建立对客观事物进行抽象描述的方法。建立具体问题的概念模型，实现对客观世界的感性认识。 理论源于数学。建立完整的理论体系 建立具体问题的数学模型，从而实现对客观世界的理性认识。 设计源于工程 。对客观世界的感性认识和理性认识的基础上，完成一个具体的任务；对工程设计中所遇到的问题进行总结，提出问题，由理论界去解决它。 目录 1、形式化语言、图灵机和冯·诺依曼型计算机、机器指令系统 2、汇编语言、计算机的层次结构、虚拟机、高级语言形式化 3、当代计算机语言发展趋势与形态演变 4、程序设计语言分类与主要典型代表 ? 形式语言的基本特点 有一组初始的、专门的符号集； 有一组精确定义的，由初始的、专门的符号组成的符号串转换成另一个符号串的规则。 在形式语言中，不允许出现根据形成规则无法确定的符号串。 形式语言的语法 形式语言的语法：形式语言中的转换规则。 语法不包含语义。 在一个给定的形式语言中，可以根据需要，通过赋值或模型对其进行严格的语义解释，从而构成形式语言的语义。 语法和语义要作严格的区分。 图灵机 图灵机由一条两端可无限延长的带子、一个读写头以及一组控制读写头工作的命令组成， 图灵机 写在带子上的符号为一个有穷字母表：{S0，S1，S2，…，Sp}。 可以认为这个有穷字母表仅有S0、S1两个字符， 其中S0可以看作是“0”，S1可以看作是“1”， 由 “0”和“1”组成的字母表可以表示任何一个数。 由于“0”和“1”只有形式的意义，因此，也可以将S0改称为“白”，S1改称为“黑”，甚至，还可以改称为“桌子”和“老虎”，这样改称的目的在于割断与直觉的联系，并加深对布尔域中的值{真，假}，以及二进制机器本质的理解。机器的控制状态表为：{q1，q2，…，qm}。 将一个图灵机的初始状态设为q1，在每一个具体的图灵机中还要确定一个结束状态qw。 一个给定机器的“程序” 机器内的五元组(qiSjSkR(或L或N)ql)形式的指令集，五元组定义了机器在一个特定状态下读入一个特定字符时所采取的动作。5个元素的含义如下： qi表示机器目前所处的状态； Sj表示机器从方格中读入的符号； Sk表示机器用来代替Sj写入方格中的符号； R、L、N分别表示向右移一格、向左移一格、不移动； ql表示下一步机器的状态。 图灵机及其他计算模型 图灵的观点及结论： 凡是能用算法方法解决的问题，也一定能用图灵机解决；凡是图灵机解决不了的问题，任何算法也解决不了。 与图灵机等价的计算模型： 递归函数 λ-演算 POST规范系统 图灵机是从过程这一角度来刻画计算的本质，其结构简单、操作运算规则也较少，从而为更多的人所理解。 图灵机的计算能力 图灵机可以计算 S(x)＝x＋1(后继函数)， N(x)＝0(零函数)， Ui(n)(x1，x2，…，xn)＝xi，1≤i≤n(投影函数) 上述3个函数的任意组合。 从递归论中，我们知道这3个函数属于初始递归函数， 任何原始递归函数都是从这3个初始递归函数经有限次的复合、递归和极小化操作得到的。 从可计算理论可知每一个原始递归函数都是图灵机可计算的。 冯·诺依曼型计算机 ENIAC的结构在很大程度上是依照机电系统设计的，还存在重大的线路结构等问题。 在图灵等人工作的影响下，1946年6月，美国杰出的数学家冯·诺依曼(Von Neumann)及其同事完成了关于“电子计算装置逻辑结构设计”的研究报告， 具体介绍了制造电子计算机和程序设计的新思想 至今为止，大多数计算机采用的仍