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

第2章 高级程序语言及其语法描述 本章要点 程序设计语言的定义 高级语言的一般特性 程序语言的语法描述 语法：表示构成语言句子的各个记号之间的组合规律(构成规则)。 例：C语言的赋值语句语法的描述为：赋值语句由一个变量，后随一个符号“=”，再在后面跟一个表达式所构成。 语义：表示按照各种表示方法所表示的各个记号的特定含义。 例：C赋值语句的语义为：先对该语句的右部表达式求值，然后把所得结果与语句左部的变量相结合，并取代该变量原有的值。 语用：表示在各个记号所出现的行为中，它们的来源、使用和影响。 例：C语言赋值语句的语用为：赋值语句可用来计算和保存表达式的值。 语境：指理解和实现程序设计语言的环境，包括编译环境和运行环境 (1)自然语言 (2)语法图 (3)BNF范式 BNF范式是语法规则的一种形式表示系统。 例：标识符构成规则的BNF范式为： 标识符::=字母|标识符字母|标识符数字 例：C语言中关于函数定义的BNF范式为： 函数定义::=函数首部函数体 函数首部::=数据类型函数标识符 (形参表列) 函数首部::=数据类型函数标识符 ( ) 形参表列::=形参表列, 形参 | 形参 (4)文法 见2.3节 1.高级语言的分类 (1) 强制式：Imperative Language 形式：语句序列 举例：Fortran、C、Pascal (2) 应用式：Applicative Language 形式：func1(…f(n))-侧重程序功能 举例：Lisp (3) 基于规则：Rule-Based Language 形式：bird(x):-fly(x) feather(x)-满足一定条件执行适当动作 举例：Prolog (4) 面向对象：Object-Oriented Language 举例：Smalltalk、C++、Java 2.程序结构 举例:C程序结构 由若干函数组成。 main( ) { int a,b,c; scanf(“%d,%d”,a,b); c = max(a,b); printf(“max=%d”,c); } int max(x,y); int x,y; { int z; if (xy) z=x; else z=y; return(z); } 举例:Fortran程序结构 主程序＋若干个辅程序段（子程序、函数） Program Main Read(I,J) Call max(I,J,K) Write(100,K) Format(…) end subroutine max(x,y,z) integer x,y,z if xy then z＝x else z ＝y end 举例:Pascal程序结构 程序允许嵌套定义 3.数据类型 初等数据类型：整型、实型、字符型等。 复合数据类型：数组、记录、字符串等。 抽象数据类型 数据类型三要素: （1）属性： 类型＋作用域 （2）值域： 精度＋范围 （3）操作 4.语句与控制结构 表达式 语句 简单语句：说明语句、赋值语句、控制语句、过程调用语句 复合语句 2.3 程序语言的语法描述 2、文法及上下文无关文法 在形式语言中用文法描述语言的构成规则。 产生式（规则） 产生式是定义语法单位的一种书写规则，它的形式为：α→β（或α::=β） 其中“→”读作“定义为”，α，β为符号串，箭头左边称为产生式左部，箭头右边称为产生式右部。 例：S→0S1，0S→01 文法 上下文无关文法 上下文无关文法G是一个四元式（VT，VN，S，P‘）， 其中： VT是一个非空有限集，它的每个元素为终结符 VN是一个非空有限集，它的每个元素为非终结符，并且VN∩VT=φ。 S为非终结符，为开始符号，至少在某个产生式左部出现一次。 P’是产生式集合（有限），每个产生式的形式为： P→α，P∈VN，α∈（VN∪VT）* 说明： 为书写方便，若干左部相同的产生式可合并为一个。 P→α1，P→α2, …，P→αn 缩写为: P→α1|α2|…|αn 4、上下文无关文法定义的语言 问题：对于算术表达式文法G（E）： E→i|E+E|E×E|(E) 如何说明(i+i)是一个算术表达式？ 例1:用上下文无关文法描述含+,×的算术表达式. G(E)=（VT,VN,E,P’) P’={ E→i | E+E