目录 1、形式化语言、图灵机和冯·诺依曼 型计算机、机器指令系统 2、汇编语言、计算机的层次结构 虚拟机、高级语言形式化 3、当代计算机语言发展趋势与形态 演变 4、程序设计语言分类与主要典型代 表 第1顶页
第11页 目录 1、形式化语言、图灵机和冯·诺依曼 型计算机、机器指令系统 2、汇编语言、计算机的层次结构、 虚拟机、高级语言形式化 3、当代计算机语言发展趋势与形态 演变 4、程序设计语言分类与主要典型代 表
、形式语言、图灵机与冯·诺依曼型计算机
12 一、形式语言、图灵机与冯·诺依曼型计算机
形式语言的基本特点 有一组初始的、专门的符号集; 有一组精确定乂的,由初始的、专门的 符号组成的符号串转换成另一个符号串 的规则。 在形式语言中,不允许出现根据形成规 则无法确定的符号串。 第13页
第13页 形式语言的基本特点 • 有一组初始的、专门的符号集； • 有一组精确定义的，由初始的、专门的 符号组成的符号串转换成另一个符号串 的规则。 • 在形式语言中，不允许出现根据形成规 则无法确定的符号串
形式语言的语法 形式语言的语法:形式语言中的转换规 则。 语法不包含语义。 在一个给定的形式语言中,可以根据需要, 通过赋值或模型对其进行严格的语义解释 从而构成形式语言的语义 语法和语义要作严格的区分。 第14页
第14页 形式语言的语法 • 形式语言的语法：形式语言中的转换规 则。 – 语法不包含语义。 – 在一个给定的形式语言中，可以根据需要， 通过赋值或模型对其进行严格的语义解释， 从而构成形式语言的语义。 – 语法和语义要作严格的区分
图灵机 图灵机由一条两端可无限延长的带子 个读写头以及一组控制读写头工作的 命令组成, 01001010bbb 读一写头 状态 控制器
第15页 图灵机 • 图灵机由一条两端可无限延长的带子、 一个读写头以及一组控制读写头工作的 命令组成， … b b 1 0 1 0 0 0 1 0 b b b … 读－写头 控制器 状态 ql