编译原理第二章课件——张淑艳.pptVIP

2.1 程序语言的定义 2.1 程序语言的定义 2.1 程序语言的定义 2.1 程序语言的定义 2.1.2 语义 语义：对于一个语言来说，不仅要给出它的词法、语法规则，而且要定义它的单词符号和语法单位的意义，这就是语义问题。 一个程序语言的基本功能是描述数据和对数据的运算。所谓程序，从本质上来说是描述一定数据的处理过程。在现今的程序语言中，一个程序大体可以视为下面所示的层次结构。 自上而下看上述层次结构：顶端是程序本身，它是一个完整的执行单位。一个程序通常是由若干个子程序或分程序组成的，它们常常含有自己的数据（局部名）。子程序或分程序是由语句组成的。而组成语句的成分是各种类型的表达式。表达式是描述数据运算的基本结构，它通常含有数据引用、算符和函数调用。 自下而上看上述层次结构：通过对下层成分的了解掌握上层成分，从而掌握整个程序。 在学习编译原理的过程中特别注意：程序语言的每个组成成分都有（抽象的）逻辑和计算机实现两方面的意义。当从数学上考虑每一个组成成分时，我们注重它的逻辑意义，当从计算机这个角度来看时，我们注重它在机内的表示和实现的可能性与效率。 2.2 高级语言的一般特性 2.2.1 高级语言的分类 1、强制性语言，也称过程式语言，命令驱动，面向语句。如FORTRAN、C、Pascal、Ada 2、应用式语言，从已有的函数出发构造出晚复杂的函数。如LISP和ML。 3、基于规则的语言，检查一定的条件，当它满足值，则执行适当的动作。如Prolog。 4、面向对象语言，主要特性是支持封装性、继承性和多态性。如Java， C++ 2.2 高级语言的一般特性 2.2.2 程序结构 -- FORTRAN 2.2 高级语言的一般特性 2.2.2 程序结构 -- Pascal 2.2 高级语言的一般特性 2.2.2 程序结构 – Java 2.2 高级语言的一般特性 2.2.3 数据类型与分类 一、初等数据类型 （1）数值数据：整数、实数、复数及其双长精度，可进行算术运算。 （2）逻辑数据：逻辑型的，可进行逻辑运算。 （3）字符数据：字符型 （4）指针类型：指针的值指向另一些数据。 2.2 高级语言的一般特性 一、初等数据类型 什么是名字？ 什么是标识符？ 名字可以看成是一个抽象的存储单元，此单元的内容是此名字的值，此单元的属性是名字的属性。 标识符是字母组成的字符串。 2.2 高级语言的一般特性 程序中，相同标识符 不同地点 可代表不同的名字 运行时，相同名字 不同运行时间 可代表不同的存储单元（递归时） 2.2 高级语言的一般特性 2.2.3 数据类型与分类 二、数据结构 数组 记录 字符串、表格、栈、队列 2.2 高级语言的一般特性 1、数组 数组：同一类型数据所组成的某种n 维矩形结构 下标：沿着某一维的距离 数组元素：由数组名连同各维的下标值命名 确定数组、可变数组 2.2 高级语言的一般特性 1、数组 数组存储方式：按行存放、按列存放 数组元素地址计算：数据结构 2.2 高级语言的一般特性 2、记录 记录是由已知类型的数据组合起来的一种结构。 2.2 高级语言的一般特性 2、记录 记录是由已知类型的数据组合起来的一种结构。 2.2.4 语句和控制结构 一、表达式 一个表达式是由运算量（操作数，即数据引用或函数调用）和算符组成的。 表达式的形成规则 (1)变量（包括下标变量）、常数是表达式 (2)若E1、E2为表达式， θ为二元运算符，则E1θE2是表达式 (3)若E是表达式， θ 为一元运算符，则θE或Eθ是表达式 (4)若E是表达式，则（E）是表达式 5、a、5+a、-a、(a+5)、2+(4+a)-(-5) 都是表达式 2.2 高级语言的一般特性 表达式的结合性和优先集 与数学习惯类似 不同的语言，这两种性质各有差异 FORTRAN 结合性 优先集 2.2 高级语言的一般特性 表达式的结合性和优先集 与数学习惯类似 不同的语言，这两种性质各有差异 FORTRAN 结合性 优先集 2.2 高级语言的一般特性 例：令 +、*和↑代表加、乘和乘幂，按照如下的非标准优先集和结合性的约定 （1）优先顺序（从高至低）为+、*和↑ （2）同级优先采用左结合 计算 1 + 1 * 2 ↑2 * 1 ↑2 的值 2.2.4 语句和控制结构 二、语句 不同程序语言含有不同形式和功能的各种语句 从功能上说，语句大体可分执行性语句和说明性语句。 执行语句：描述程序的动作，分为赋值语句、控制语句、输入/输出语句； 说明性语句：定义各种不同数据类型的变量或运算 从形式上说，语句还可分为简单句、复合句和分程序等。 2.2 高级语言的一般