编译原理第二高级语言及其语法描述.pptVIP

标识符与名字名字：值：单元中的内容属性：类型和作用域名字的性质的说明方式：由说明语句来明确规定的隐含说明：FORTRAN以I,J,K,…N为首的名字代表整型，否则为实型。动态确定：走到哪里，是什么，算什么第28页，共74页，星期日，2025年，2月5日二数据结构1数组逻辑上，数组是由同一类型数据所组成的某种n维矩形结构，沿着每一维的距离，称为下标。数组可变与不可变：编译时能否确定其存贮空间的大小。访问：给出数组名和下标值存放方式:按行存放,按列存放第29页，共74页，星期日，2025年，2月5日数组元素地址计算数组A[10,20]的A[1，1]为a，各维下标为1，按行存放，那么A[i，j]地址为：a+(i-1)*20+(j-1)数组元素地址计算公式第30页，共74页，星期日，2025年，2月5日第31页，共74页，星期日，2025年，2月5日内情向量把数组的有关信息记录在一个“内情向量”中，每个数组的内情向量必须包括：维数，各维的上、下限，首地址，以及数组（元素）的类型。第32页，共74页，星期日，2025年，2月5日2记录逻辑上说，记录结构由已知类型的数据组合在一起的一种结构。 record{charNAME[20]; integerAGE; boolMARRIED; }CARD[1000]访问：复合名CARD[k].NAME存储：连续存放域的地址计算：相对于记录结构起点的相对数OFFSET。第33页，共74页，星期日，2025年，2月5日3字符串、表格、栈字符串：符号处理、公式处理表格：本质上是一种记录结构线性表：一组顺序化的记录结构栈：一种线性表，后进先出，POP,PUSH第34页，共74页，星期日，2025年，2月5日三抽象数据类型一个抽象数据类型包括：数据对象的一个集合；作用于这些数据对象的抽象运算的集合；这种类型对象的封装，即，除了使用类型中所定义的运算外，用户不能对这些对象进行操作。程序设计语言对抽象数据类型的支持Ada语言通过程序包（package）提供了数据封装的支持Smalltalk、C++和Java语言则通过类（Class）对抽象数据类型提供支持。第35页，共74页，星期日，2025年，2月5日2.2.4语句与控制结构一．表达式表达式由运算量（也称操作数，即数据引用或函数调用）和算符（操作符）组成。形式：中缀、前缀、后缀X*Y-AP↑表达式形成规则第36页，共74页，星期日，2025年，2月5日算符的优先次序一般的规定PASCAL：左结合A+B+C=(A+B)+CFORTRAN：对于满足左、右结合的算符可任取一种，如A+B+C就可以处理成(A+B)+C，也可以处理成A+(B+C)。注意两点：代数性质能引用到什么程度视具体的语言不同而不同；在数学上成立的代数性质在计算机上未必完全成立。第37页，共74页，星期日，2025年，2月5日二．语句赋值语句：A:=B名字左值：该名字代表的那个单元（地址）称为该名字的左值。(所代表的存贮单元的地址)右值：一个名字的值称为该名字的右值。(所代表的存贮单元的内容)第38页，共74页，星期日，2025年，2月5日控制语句：无条件转移语句gotoL条件语句ifBthenSifBthenS1elseS2循环语句whileBdoSrepeatSuntilBfori:=E1stepE2untilE3doS过程调用语句callP(X1,X2,...,Xn)返回语句return(E)第39页，共74页，星期日，2025年，2月5日说明语句：定义各种不同数据类型的变量或运算，定义名字的性质。第40页，共74页，星期日，2025年，2月5日简单句和复合句简单句：不包含其他语句成分的基本句复合句：句中有句的语句第41页，共74页，星期日，2025年，2月5日复习：程序语言的定义程序语言由两方面定义：语法：一组规则，用它可以形成和产生一个合式(well-formed)的程序词法规则：单词符号的形成规则。常数、标识符、基本字、算符、界符等。有限自动机语法规则：语法单位的形成规则。表达式、语句、分程序、过程、函数、程序等;上下文无关文法语义:一组规则，用它可以定义一个程序的意义