编译2高级语言及其语法描述讲解.ppt

* * 标识符与名字 名字： 值：单元中的内容 属性：类型和作用域 名字的性质的说明方式： 由说明语句来明确规定的 隐含说明：FORTRAN 以I,J,K,…N为首的名字代表整型，否则为实型。 动态确定：“走到哪里，是什么，算什么” （运行时才能确定） * * 二 数据结构 1 数组 逻辑上，数组是由同一类型数据所组成的某种n维矩形结构，沿着每一维的距离，称为下标。 数组可变与不可变：编译时能否确定其存贮空间的大小。 访问：给出数组名和下标值 存放方式: 按行存放,按列存放 * * 数组元素地址计算 数组A[10,20]的A[1，1]为a，各维下标为1开始，按行存放，那么A[i，j]地址为： a+(i-1)*20+(j-1) * * 内情向量 把数组的有关信息记录在一个“内情向量”中，每个数组的内情向量必须包括： 维数，各维的上、下限，首地址，以及数组（元素）的类型。 * * 2 记录 逻辑上说，记录结构由已知类型的数据组合在一起的一种结构。 record { char NAME[20]; integer AGE; bool MARRIED; } CARD[1000] 访问：复合名 CARD[k].NAME 存储：连续存放 域的地址计算：相对于记录结构起点的相对数OFFSET。 * * 3 字符串、表格、栈 字符串：符号处理、公式处理 表格：本质上是一种记录结构 线性表：一组顺序化的记录结构 栈：一种线性表，后进先出，POP, PUSH * * 三 抽象数据类型 一个抽象数据类型包括： 数据对象的一个集合； 作用于这些数据对象的抽象运算的集合； 这种类型对象的封装，即，除了使用类型中所定义的运算外，用户不能对这些对象进行操作。 程序设计语言对抽象数据类型的支持 Ada语言通过程序包（package）提供了数据封装的支持 Smalltalk、C++和Java语言则通过类（Class）对抽象数据类型提供支持。 * * 2.2.4 语句与控制结构 一．表达式 表达式由运算量（也称操作数，即数据引用或函数调用）和算符（操作符）组成。 形式：中缀、前缀、后缀 X*Y -A P↑ * * 表达式形成规则（p23） （1）变量（包括下标变量）、常数是表达式； （2）若E1、E2为表达式，θ为二元算符，则 E1 θ E2 为表达式； （3）若E为表达式，θ为一元算符，则θE为表达式； （4）若E为表达式，则（E)是表达式。 * * 算符的优先次序 一般的规定 PASCAL：左结合A+B+C=(A+B)+C FORTRAN：对于满足左、右结合的算符可任取一种，如A+B+C就可以处理成(A+B)+C，也可以处理成A+(B+C)。 注意两点： 代数性质能引用到什么程度视具体的语言不同而不同； 在数学上成立的代数性质在计算机上未必完全成立。 * * 二．语句 赋值语句： A := B 名字特征： (了解) 左值：该名字代表的那个单元（地址）称为该名字的左值。(所代表的存贮单元的地址) 右值：一个名字的值称为该名字的右值。(所代表的存贮单元的内容) * * 控制语句： 无条件转移语句 goto L 条件语句 if B then S if B then S1 else S2 循环语句 while B do S repeat S until B for i:=E1 step E2 until E3 do S 过程调用语句 call P(X1, X2, ... ,Xn) 返回语句 return (E) * * 说明语句：定义各种不同数据类型的变量或运算，定义名字的性质。 * * 简单句和复合句 简单句：不包含其他语句成分的基本句 复合句：句中有句的语句 * * 复习：程序语言的定义 程序语言由两方面定义： 语法：一组规则，用它可以形成和产生一个合式(well-formed)的程序 词法规则：单词符号的形成规则。 常数、标识符、基本字、算符、界符等。 有限自动机 语法规则：语法单位的形成规则。 表达式、语句、分程序、过程、函数、程序等; 上下文无关文法 语义:一组规则，用它可以定义一个程序的意义 * * 复习：程序语言的基本功能和层次结构 程序语言的基本功能：描述数据和对数据的运算。 所谓程序，本质上说是描述一定数据的处理过程。 程序 | 子程序或分程序、过程、函数 | 语句 | 表达式 | 数据引用 算符 函数调用 * * 复习：高级语言的一般特性 高级语言