高级程序设计语言课件.ppt-淘文阁

资源描述

《高级程序设计语言课件.ppt》由会员分享，可在线阅读，更多相关《高级程序设计语言课件.ppt（96页珍藏版）》请在taowenge.com淘文阁网|工程机械CAD图纸|机械工程制图|CAD装配图下载|SolidWorks_CaTia_CAD_UG_PROE_设计图分享下载上搜索。

1、高级程序设计语言高级程序设计语言第1页，此课件共96页哦n任何语言实现的基础是语言的定义。任何语言实现的基础是语言的定义。n在定义方面，编译程序研制者与一般用户有在定义方面，编译程序研制者与一般用户有所不同所不同n用户关心语言如何使用用户关心语言如何使用n开发人员关心语言的定义。他们对开发人员关心语言的定义。他们对哪些构造允许哪些构造允许出现出现更感兴趣。即使一时不能看出某种构造的实更感兴趣。即使一时不能看出某种构造的实际应用，或者判断实现该结构会导致严重的困难，际应用，或者判断实现该结构会导致严重的困难，但仍必须严格根据语言的定义实现它。但仍必须严格根据语言的定义实现它。n程序语言主要由程序

2、语言主要由语法语法和和语义语义两方面定义。两方面定义。2.1 2.1 程序语言的定义程序语言的定义第2页，此课件共96页哦2.1.1 2.1.1 语法语法n所谓一个语言的所谓一个语言的语法语法是指这样的一组是指这样的一组规规则则，用它可以形成和产生一个合适的程，用它可以形成和产生一个合适的程序。序。n这些规则一部分称为这些规则一部分称为词法规则词法规则，另一部，另一部分能称为分能称为语法规则语法规则（或产生规则）。（或产生规则）。第3页，此课件共96页哦几个概念几个概念a.a.一个语言只是用一个有限字符集作为一个语言只是用一个有限字符集作为字母表字母表；b.b.词法规则词法规则是指单词符号的形

3、成规则。是指单词符号的形成规则。单词符号单词符号一般包括：各类型的常数、标识符、基本字、一般包括：各类型的常数、标识符、基本字、算符和界符等。算符和界符等。C.C.语言的语言的语法规则语法规则规定了如何从单词符号形成更规定了如何从单词符号形成更大的结构（即大的结构（即语法单位语法单位或或语法范畴语法范畴），换言之，），换言之，语法规则是语法单位的形成规则。一般程序语语法规则是语法单位的形成规则。一般程序语言的语法单位有：表达式、语句、分程序、函言的语法单位有：表达式、语句、分程序、函数、过程和程序等。数、过程和程序等。第4页，此课件共96页哦 n对于一个语言来说，不仅要给出它的词对于一个语言来

4、说，不仅要给出它的词法、语法规则，而且要定义它的单词符法、语法规则，而且要定义它的单词符号和语法单位的意义。这就是语义问题。号和语法单位的意义。这就是语义问题。n语义语义是指这样的一组规则，使用它可是指这样的一组规则，使用它可以定义一个程序的意义。以定义一个程序的意义。n我们采用的方法为：属性文法和基于属我们采用的方法为：属性文法和基于属性文法的语法制导翻译方法。性文法的语法制导翻译方法。2.1.2 2.1.2 语义语义第5页，此课件共96页哦 n程序语言的基程序语言的基本功能是描述本功能是描述数据和对数据数据和对数据的运算。所谓的运算。所谓程序程序，从本质，从本质上来说是描述上来说是描述一定

5、数据的处一定数据的处理过程。理过程。程序程序子程序子程序或或分程序分程序语句语句表达式表达式算符算符函数调用函数调用数据引用数据引用程序程序第6页，此课件共96页哦程序设计语言的定义程序设计语言的定义n建立在有限字母集之上的一个建立在有限字母集之上的一个符号系统符号系统n有一定的有一定的语法语法和和语义语义规则规则n语法规则：词法规则和语法规则语法规则：词法规则和语法规则n语义规则：描述语法单位的功能和含义语义规则：描述语法单位的功能和含义n程序设计语言的程序设计语言的功能功能是描述数据和对数是描述数据和对数据的运算据的运算第7页，此课件共96页哦2.2 2.2 高级语言的一般特性高级语言的一

6、般特性2.2.1 2.2.1 高级语言分类高级语言分类2.2.2 2.2.2 程序结构程序结构2.2.3 2.2.3 数据类型与操作数据类型与操作2.2.4 2.2.4 语句与控制结构语句与控制结构第8页，此课件共96页哦2.2.1 2.2.1 高级语言分类高级语言分类从不同的角度看，对高级程序设计语言有不同的分类方法。如果我们从语从不同的角度看，对高级程序设计语言有不同的分类方法。如果我们从语言范型分类，当今的大多数程序设计语言可划分为四类。言范型分类，当今的大多数程序设计语言可划分为四类。一、强制式语言一、强制式语言强制式语言也称过程式语言。其特点是命令驱动，面向语句。一强制式语言也称

7、过程式语言。其特点是命令驱动，面向语句。一个强制式语言程序由一系列的语句组成，每个浯句的执行引起若干存个强制式语言程序由一系列的语句组成，每个浯句的执行引起若干存储单元中的值的改变。这种语言的语法形式通常具有如下形式：储单元中的值的改变。这种语言的语法形式通常具有如下形式：语句语句1 1；语句语句2 2；语句语句n n；许多广为使用的语言，如许多广为使用的语言，如FORTRANFORTRAN、C C、PascalPascal，等等，属于这类语言。，等等，属于这类语言。第9页，此课件共96页哦2.2.1 2.2.1 高级语言分类高级语言分类二、应用式语言二、应用式语言与强制式语言不同的是，应

8、用式语言更注重程序所表示的与强制式语言不同的是，应用式语言更注重程序所表示的功能，而不是一个语句接一个语句地执行。程序的开发过程是功能，而不是一个语句接一个语句地执行。程序的开发过程是从前面已有的函数出发构造出更复杂的函数，对初始数据集进从前面已有的函数出发构造出更复杂的函数，对初始数据集进行操作直至最终的函数可以用于从初始数据计算出最终的结果。行操作直至最终的函数可以用于从初始数据计算出最终的结果。这种语言通常的语法形式是：这种语言通常的语法形式是：函数函数n(n(函数函数2(2(函数函数1(1(数据数据)因此，这种语言也称函数式语言。因此，这种语言也称函数式语言。LISPLISP和和MLM

9、L属于这种语言。属于这种语言。第10页，此课件共96页哦2.2.1 2.2.1 高级语言分类高级语言分类三、基于规则的语言三、基于规则的语言基于规则的语言程序的执行过程是：检查一基于规则的语言程序的执行过程是：检查一定的条件，当它满足值，则执行适当的动作。定的条件，当它满足值，则执行适当的动作。最有代表性的基于规则语言是最有代表性的基于规则语言是PrologProlog，它也称，它也称逻辑程序设计语言，因为它的基本允许条件是逻辑程序设计语言，因为它的基本允许条件是谓词逻辑表达式。这类语言的语法形式通常为：谓词逻辑表达式。这类语言的语法形式通常为：条件条件11动作动作l l 条件条件22动作动

10、作2 2 条件条件nn动作动作3 3第11页，此课件共96页哦2.2.1 2.2.1 高级语言分类高级语言分类四、面向对象语言四、面向对象语言面向对象语言如今已成为最流行、最重要的面向对象语言如今已成为最流行、最重要的语言。它主要的特征是支持语言。它主要的特征是支持封装性封装性、继承性继承性和和多态性多态性等。把复杂的数据和用于这些数据的操等。把复杂的数据和用于这些数据的操作封装在一起，构成对象；对简单对象进行扩作封装在一起，构成对象；对简单对象进行扩充、继承简单对象的特性，从而设计出复杂的充、继承简单对象的特性，从而设计出复杂的对象。通过对象的构造可以使面向对象程序获对象。通过对象的构造可

11、以使面向对象程序获得强制式语言的有效性，通过作用于规定数据得强制式语言的有效性，通过作用于规定数据的函数的构造可以获得应用式语言的灵活性和的函数的构造可以获得应用式语言的灵活性和可靠性。可靠性。第12页，此课件共96页哦2.2.2 2.2.2 程序结构程序结构n不同程序语言都有各自的程序结构不同程序语言都有各自的程序结构nC C语言程序可以包含多个函数语言程序可以包含多个函数nPascal Pascal 支持过程的嵌套定义支持过程的嵌套定义n程序结构的不同，决定了符号表构造方法程序结构的不同，决定了符号表构造方法的不同的不同第13页，此课件共96页哦Pascal Pascal 是一个允许子程序

12、嵌套定义的语言是一个允许子程序嵌套定义的语言 program main procedure P1;procedure P11;begin end;begin end;procedure P2;begin end;begin end 第14页，此课件共96页哦程序设计语言支持特定的数据类型与操作。一个数程序设计语言支持特定的数据类型与操作。一个数据类型通常包括以下三种要素：据类型通常包括以下三种要素：na.a.用于区别这种类型的数据对象的用于区别这种类型的数据对象的属性属性nb.b.这种类型的数据对象可以具有的这种类型的数据对象可以具有的值值nc.c.可以作用于这种类型数据对象的可以作用于这种

13、类型数据对象的操作操作2.2.3 数据类型与操作数据类型与操作第15页，此课件共96页哦一一.初等数据类型（基本数据类型）初等数据类型（基本数据类型）常见的初等数据类型有：常见的初等数据类型有：a.a.数值数据数值数据 b.b.逻辑数据逻辑数据c.c.字符数据字符数据d.d.指针类型指针类型不同的数据类型占存不同的数据类型占存储空间不同，表示的储空间不同，表示的数的范围也不相同数的范围也不相同第16页，此课件共96页哦名字和标识符名字和标识符n标识符标识符：无意义的符号串：无意义的符号串 n名字名字：可以看成是代表一个抽象的存储单元可以看成是代表一个抽象的存储单元n名字的值名字的值：名字所代表

14、的单元的内容则认为是此名：名字所代表的单元的内容则认为是此名字的字的值值。n名字的属性名字的属性：一个名字的属性包括一个名字的属性包括类型类型和和作用域作用域。n标识符、名字与存储空间的关系标识符、名字与存储空间的关系:同一标识符可同一标识符可以表示不同的名字；同一名字可以表示不同的存以表示不同的名字；同一名字可以表示不同的存储空间；同一存储空间可以有多个名字储空间；同一存储空间可以有多个名字第17页，此课件共96页哦二二.构造数据类型构造数据类型 a.a.数组数组n特点特点：一个数组是由：一个数组是由同一类型同一类型数据所组成的某种数据所组成的某种n n维矩形结构。每个元素占相同的存储空间维

15、矩形结构。每个元素占相同的存储空间n下标下标：沿着每一维的距离称为一个下标。：沿着每一维的距离称为一个下标。n数组元素的命名数组元素的命名：数组名：数组名+下标下标n确定数组与可变数组确定数组与可变数组：在编译时数组所需的存储空：在编译时数组所需的存储空间是否确定间是否确定n数组元素的存储与地址的计算数组元素的存储与地址的计算n内情向量表：内情向量表：数据类型，数组的维数，下标的变数据类型，数组的维数，下标的变化范围，首地址化范围，首地址设计符号表的构造方法，设计符号表的构造方法，需要在符号表中存储更需要在符号表中存储更多的信息，并需要定义多的信息，并需要定义不同的属性文法以便对不同的属性文法

16、以便对其语义进行描述其语义进行描述第18页，此课件共96页哦b.b.记录记录从逻辑上说，记录结构是由已知类型从逻辑上说，记录结构是由已知类型的数据组合起来的一种结构。的数据组合起来的一种结构。记录结构是许多程序语言的一类重要记录结构是许多程序语言的一类重要的数据结构。的数据结构。第19页，此课件共96页哦Pascal语言采用下面形式定义记录：语言采用下面形式定义记录：CARD:record NAME:array120 of char;AGE:integer;MARRIED:boolean end;struct Node char data；int a;int mark;；第20页，此课件共9

17、6页哦n多种基本数据类型组成的新的数据类型多种基本数据类型组成的新的数据类型n记录分量的访问：记录名记录分量的访问：记录名.分量名分量名n记录的存放：连续存放记录的存放：连续存放n记录的长度：每个分量的长度之和记录的长度：每个分量的长度之和n记录分量地址的计算：首地址记录分量地址的计算：首地址+各分量相各分量相对于首地址的偏移（对于首地址的偏移（offsetoffset）特点：特点：第21页，此课件共96页哦如：就如：就CARDCARD而言，而言，NAME,AGE,MARRIED NAME,AGE,MARRIED 的相的相对数对数OFFSETOFFSET分别为分别为0 0、2020、2424。

18、于是，假。于是，假定定CARDCARD的首地址为的首地址为a a，那么，那么，CARD.NAME CARD.NAME 地址为地址为 a a CARD.AGE CARD.AGE 地址为地址为 a+20a+20 CARD.MARRIED CARD.MARRIED 地址为地址为 a+24a+24 第22页，此课件共96页哦2.2.4 语句与控制结构语句与控制结构n表达式表达式数值、关系、逻辑、字符串数值、关系、逻辑、字符串n语句语句赋值语句赋值语句控制语句控制语句（无条件、条件、循环、过程调用、返回）（无条件、条件、循环、过程调用、返回）说明句说明句简单句和复合句简单句和复合句第23页，此课

19、件共96页哦一一.表达式表达式组成组成：运算量（亦称操作数，即数据引用或函数调用）：运算量（亦称操作数，即数据引用或函数调用）和算符组成的。和算符组成的。表示形式表示形式:前缀式：前缀式：+a*bc+a*bc 中缀式：中缀式：a+b*ca+b*c后缀式：后缀式：abc*+abc*+第24页，此课件共96页哦表达式中的算符表达式中的算符算符的优先级和结合性算符的优先级和结合性乘幂乘幂（*或或）一元负一元负（-）乘、除乘、除（*，/，）加、减加、减（+，-）关系符关系符（,=,=),=,=)非非（，not,not,或或 .NOT.).NOT.)与与（，&,and&,and 或

20、或 .AND.).AND.)或或（，or or 或或 .OR.).OR.)消除文法的二义消除文法的二义性性第25页，此课件共96页哦算符的代数性质算符的代数性质n作用：（交换率、结合率和分配率）常作用：（交换率、结合率和分配率）常常可用来优化目标程序的质量常可用来优化目标程序的质量。但是必但是必须注意两点：须注意两点：n代数性质引用到什么程度视具体语言的不同代数性质引用到什么程度视具体语言的不同而不同。如在而不同。如在ALGOLALGOL中把中把nA*B+C*D A*B+C*D 处理成处理成C*D+A*B,C*D+A*B,则至少是对则至少是对ALGOLALGOL不够不够忠实。忠实。n数学上成

21、立的代数性质在计算机上未必完全数学上成立的代数性质在计算机上未必完全成立。如：成立。如：(A+B)+C=A+(B+C)(A+B)+C=A+(B+C)在计算机上并在计算机上并不普遍成立。不普遍成立。决定了在优化的过决定了在优化的过程中应采取的优化程中应采取的优化策略策略第26页，此课件共96页哦二二.语句语句n从功能上说语句大体可分从功能上说语句大体可分执行性语句执行性语句和和说明性语句说明性语句，说明说明性语句旨在定义不同数据类型的变量或运算。性语句旨在定义不同数据类型的变量或运算。n执行性语句旨在描述程序的动作。执行性语句旨在描述程序的动作。n对不同的语句，编译器的处理方式不同。对不同的语句

22、，编译器的处理方式不同。n执行性语句又可分赋值语句、控制语句和输入执行性语句又可分赋值语句、控制语句和输入/输出语句输出语句.n从形式上说，语句还可分为简单句、复合句和分程序等。从形式上说，语句还可分为简单句、复合句和分程序等。根据属性文法的定义进行根据属性文法的定义进行处理处理第27页，此课件共96页哦2.3 2.3 程序语言的语法描述程序语言的语法描述n对于高级程序语言及编译程序而言，对于高级程序语言及编译程序而言，语言的语法定义是非常重要的。语言的语法定义是非常重要的。n本节将介绍语法结构的形式描述问题。本节将介绍语法结构的形式描述问题。第28页，此课件共96页哦n字母表：字母表：由若干

23、元素组成的由若干元素组成的有限非空集有限非空集合，用合，用表示，它的每表示，它的每个元素称为一个个元素称为一个符号符号。n符号串：符号串：由由中的符号所构成的有穷序列。中的符号所构成的有穷序列。n符号串的前缀和后缀及子串符号串的前缀和后缀及子串：设：设x x是一个符号串，将是一个符号串，将x x的尾的尾（前）部删掉几个字符后形成的符号串，称为（前）部删掉几个字符后形成的符号串，称为x x的前（后）缀；的前（后）缀；从一个符号串中删去他的一个前缀和后缀后所剩下部分称为从一个符号串中删去他的一个前缀和后缀后所剩下部分称为x x的的子串。子串。与文法定义相关的几个概念和术语：与文法定义相关的几个

24、概念和术语：第29页，此课件共96页哦n空串（字）空串（字）：不包含符号的序列称为：不包含符号的序列称为空串（字）空串（字），记为，记为。n用用*表示表示上的所有符号串的全体，空字也包括在其中。上的所有符号串的全体，空字也包括在其中。如：若如：若=a,b=a,b则则*=,a,b,aa,ab,bb,aaa,a,b,aa,ab,bb,aaa,。表示不表示不含人何元素的空集含人何元素的空集。这里要注意。这里要注意、和和的区别。的区别。与文法定义相关的几个概念和术语：与文法定义相关的几个概念和术语：第30页，此课件共96页哦符号串及符号串集合的运算符号串及符号串集合的运算n符号串的连接运算符号串的

25、连接运算：设：设x x和和y y是两个符号串，如果将是两个符号串，如果将y y直接拼接直接拼接在在x x之后，称这种操作为符号串的连接之后，称这种操作为符号串的连接,记作：记作：x.yx.yn符号串的方幂符号串的方幂：一个符号串与其自身的：一个符号串与其自身的n-1n-1的任意连接称为的任意连接称为符号串的符号串的n n次幂，记作：次幂，记作：x xn n x xn n=x=xn-1n-1.x=x.x.x=x.xn-1n-1n特别地特别地:x x0 0=第31页，此课件共96页哦符号串及符号串集合的运算符号串及符号串集合的运算n字符串集合的和字符串集合的和(等价于集合的并运算等价于集合的并运算

26、)：设设A A、B B是两个符号串是两个符号串的集合，则将集合的集合，则将集合A A、B B的和记为的和记为A+BA+B或或AB,AB,定义为：定义为：AB=w|wAB=w|w A A或或w w BBn符号串集合的连接符号串集合的连接：*的子集的子集U U和和V V中的中的（连接）积连接）积定义为定义为:UV=UV=U&U&V V 即集合即集合UVUV中的符号串是由中的符号串是由U U和和V V的符号串连接而成的。注意，一般的符号串连接而成的。注意，一般UVUV VUVU，但（，但（UV)W=U(VW).UV)W=U(VW).第32页，此课件共96页哦令令X1=“abc”,X2=“def”表示

27、、表示、术语术语举举例例|X1|abc|=3|=0X1.X2“abc”“def”=“abcdef”X1n“abc”3=“abcabcabc”X1的前的前缀缀“abc”的前的前缀缀可以是：可以是：，a，ab,abcX1的后的后缀缀“abc”的前的前缀缀可以是：可以是：，c，bc,abcX1的子串的子串“abc”的子串可以是：的子串可以是：，a，b,c,X1的真前的真前缀缀“abc”的真前的真前缀缀可以是：可以是：a，abX1的真后的真后缀缀？X1的真子串的真子串？X1的子序列的子序列“abdf”是是“abcdef”的一个子序列（的一个子序列（X1中去掉若干个不中去掉若干个不一定一定连续连续的字

28、符后形成的字符串的字符后形成的字符串）第33页，此课件共96页哦n符号串集合符号串集合V V自身的自身的n n次（连接）积次（连接）积记为：记为：V Vn n=V V=V VV=VV=Vn-1n-1V V =VV=VVn-1 n-1(n(n个个V)V)规定规定 V V0 0=.nV V的闭包的闭包：令：令：V V*=V=V0 0 V V1 1 V V2 2 称称 V V*是是V V的的闭包闭包。nV V的正则包（正闭包，正则闭包）的正则包（正闭包，正则闭包）：记记V V+=VV=VV*,称称 V V+是是V V的的正则包，即正则包，即V V+=V=V1 1 V V2 2 V V3 3 。第34

29、页，此课件共96页哦一个例子一个例子n有一个字母表：有一个字母表：A=a,b,cnA0=nA1=？nA2=？nA3=？nA*=？A+=?第35页，此课件共96页哦文法文法是描述语言的语法结构的是描述语言的语法结构的形式规则形式规则（即语法规（即语法规则）。则）。所谓所谓上下文无关文法上下文无关文法是这样一种文法，它所定义的是这样一种文法，它所定义的语法范畴（或语法单位语法范畴（或语法单位)是完全独立于这种范畴可是完全独立于这种范畴可能出现的环境的。能出现的环境的。特点：独立性特点：独立性缺点：不能用来描述自然语言，但对于程序语言基本上缺点：不能用来描述自然语言，但对于程序语言基本上够用，所以

30、以后凡够用，所以以后凡“文法文法”一词，若无特殊说明，一词，若无特殊说明，均指均指上下文无关文法上下文无关文法2.3.1 上下文无关文法上下文无关文法第36页，此课件共96页哦引例引例例子：对于英文句子：例子：对于英文句子：He gave me a book.He gave me a book.是由如下语法规则产生的：是由如下语法规则产生的：第37页，此课件共96页哦由语法规则由语法规则“推导推导”出句子的过程出句子的过程第38页，此课件共96页哦“推导推导”过程对应的语法分析树过程对应的语法分析树第39页，此课件共96页哦上下文无关文法的定义上下文无关文法的定义n一个一个上下文无关文法上下文

31、无关文法G包括四个组成部分：包括四个组成部分：一组一组终结符号终结符号，一组，一组非终结符非终结符，一个，一个开开始符号始符号，以及一组，以及一组产生式产生式。n形式上定义一个上下文无关文法形式上定义一个上下文无关文法是一是一个四元式（个四元式（，P）第40页，此课件共96页哦上下文无关文法的形式定义上下文无关文法的形式定义形式上定义一个上下文无关文法形式上定义一个上下文无关文法是一个四元式是一个四元式（，P P）其中）其中是一个非空有限集，它的每一个元素称为终结符号；是一个非空有限集，它的每一个元素称为终结符号；是一个非空有限集，它的每一个元素称为非终结符号，是一个非空有限集，它的每一个元素

32、称为非终结符号，；是一个非终结符号，称为开始符号；是一个非终结符号，称为开始符号；P P是一个产生式（有限）集合，每个产生式形式是是一个产生式（有限）集合，每个产生式形式是AA，其，其中，中，AA，（）开始符号开始符号S S至少必须在某至少必须在某一产生式的左部出现一次。一产生式的左部出现一次。第41页，此课件共96页哦上下文无关文法的定义上下文无关文法的定义1.1.所谓所谓终结符号终结符号乃是组成语言的基本符号，乃是组成语言的基本符号，“终结终结”含义在于是具有独立意义的最含义在于是具有独立意义的最小语法单位，即不能再分解了的语法单小语法单位，即不能再分解了的语法单位，如，位，如，HeHe，

33、bookbook，如程序语言中的，如程序语言中的基本字，标识符，常数，算符和界符等基本字，标识符，常数，算符和界符等.如：如：*,+,a,b,c,(,),+,-*,+,a,b,c,(,),+,-n终结符号一般用小写字母表示终结符号一般用小写字母表示第42页，此课件共96页哦上下文无关文法上下文无关文法1.1.所谓所谓非终结符号非终结符号（也称语法变量）用来代表语法范（也称语法变量）用来代表语法范畴。如畴。如“算术表达式算术表达式”、“布尔表达式布尔表达式”、“过程过程”等。一个非终结符代表一个一定的语法概念。因等。一个非终结符代表一个一定的语法概念。因此非终结符是一个类（或集合）记号，而不是个

34、体此非终结符是一个类（或集合）记号，而不是个体记号。记号。2.2.非终结符号一般用大写字母表示非终结符号一般用大写字母表示3.3.如：如：EE，T T，FF第43页，此课件共96页哦1.开始符号开始符号是一个特殊的是一个特殊的非终结符号非终结符号，它，它代表所定义的语言中我们最感兴趣的语代表所定义的语言中我们最感兴趣的语法范畴。法范畴。例：例：E上下文无关文法上下文无关文法第44页，此课件共96页哦1.1.产生式产生式（也称为产生规则或简称规则）是定义（也称为产生规则或简称规则）是定义语法范畴的一种书写规则。语法范畴的一种书写规则。1.1.一个产生式的形式是一个产生式的形式是 A A 1.1.

35、其中箭头左边的其中箭头左边的A A是一个是一个非终结符非终结符，称为产生，称为产生式的左部符号；式的左部符号；2.2.箭头右边的箭头右边的是终结符号或与非终结符号组成是终结符号或与非终结符号组成的一符号串，称为产生式的右部，或称的一符号串，称为产生式的右部，或称候选式候选式。上下文无关文法上下文无关文法第45页，此课件共96页哦文法简写约定文法简写约定n只写出产生式集合；只写出产生式集合；n第一个产生式的左部符号约定为文法的开始符第一个产生式的左部符号约定为文法的开始符号号n所有产生式中的大写字母组成文法的非终结符所有产生式中的大写字母组成文法的非终结符号集；小写字母组成文法的终结符号集；号集

36、；小写字母组成文法的终结符号集；第46页，此课件共96页哦产生式实例产生式实例变量是一个算术表达式变量是一个算术表达式；若若E1E1和和E2E2是算术表达式，是算术表达式，E1+E2E1+E2是算术表达式是算术表达式E1*E2E1*E2是算术表达式是算术表达式(E1)(E1)是算术表达式是算术表达式 Ei （）（）第47页，此课件共96页哦关于产生式关于产生式n可能用多个产生式对一个非终结符进行定义可能用多个产生式对一个非终结符进行定义 EiEi（）（）n定义产生式，可以采用递归的形式定义产生式，可以采用递归的形式n直接递归直接递归n间接递归间接递归第48页，此课件共96页哦利用语法规则进行分

37、析的方法利用语法规则进行分析的方法n推导推导对于当前符号串中的非终结符，用对对于当前符号串中的非终结符，用对应的产生式的右部去替换之。应的产生式的右部去替换之。n构造语法树构造语法树文法的开始符号作为根结点，文法的开始符号作为根结点，每推导一步，将非终结符作为父结点，对应的每推导一步，将非终结符作为父结点，对应的产生式的右部作为其孩子结点。产生式的右部作为其孩子结点。第49页，此课件共96页哦用文法定义语言用文法定义语言n采用推导的方法：利用产生式，对非终结符进采用推导的方法：利用产生式，对非终结符进行替换、展开行替换、展开 EiEi （）（）第50页，此课件共96页哦推导与直接推导推导与直接

38、推导n直接推导：仅当直接推导：仅当A A 是一个产生式，有是一个产生式，有A A 该推导称为直接推导（直接导出）该推导称为直接推导（直接导出）n推导的描述形式：推导的描述形式：n：任意次推导：任意次推导n：至少一次推导：至少一次推导*+第51页，此课件共96页哦句型与句子句型与句子假定假定G G是一个是一个文法文法，S S是它的开始符号。如果是它的开始符号。如果S S(表表示从示从S S出发，经出发，经0 0步或若干步可推出步或若干步可推出），则称），则称是一是一个个句型句型。若。若是仅含终结符号的句型，则称是仅含终结符号的句型，则称是一是一个个句子句子。文法。文法G G所产生的句子的全

39、体是一个语言，将所产生的句子的全体是一个语言，将它记为它记为L(G).L(G).L(G)=L(G)=|S|S ，V VT T*+第52页，此课件共96页哦句型与句子句型与句子例如：终结符号串例如：终结符号串（i*i+i)i*i+i)是文法是文法 EE+E|E*E|(E)|EE+E|E*E|(E)|(2.1)(2.1)的一个句子。的一个句子。从开始符号从开始符号E E至（至（i*i+i)i*i+i)的的一个一个推导过程如下：推导过程如下：E E(E)(E)(E+E)(E+E)(E*E+E)(E*E+E)(i*E+E)(i*E+E)(i*i+E)(i*i+E)(i*i+i)(i*i+i)其中：其中

40、：E,(E),(E*E+E)E,(E),(E*E+E)等是文法的句型。等是文法的句型。第53页，此课件共96页哦例例2.12.1考虑一个文法考虑一个文法G1:G1:SbA SbA AaA|a AaA|a 它定义了一个什么语言呢？它定义了一个什么语言呢？从开始符从开始符S S出发，我们可以推出如下句子：出发，我们可以推出如下句子：S SbA bA baba S SbA bA baA baA baabaa S SbA bA baA baA baa baaa a可以写为：可以写为：L(G1)=baL(G1)=ban n|n1|n1第54页，此课件共96页哦例例2.2 2.2 设有文法设有文法G G

43、造生成语言试构造生成语言L=anbnci|n 0,i 1的文法的文法解：解：G(Z):ZAB A aAb|B cB|c第61页，此课件共96页哦例例2.92.9：已知语言已知语言L=x|xL=x|x a,b,c*,a,b,c*,且且x x的排列是对称的（的排列是对称的（aabcbaa,aabbaa,aabcbaa,aabbaa,等等)写出该语言的文法。写出该语言的文法。解：解：G(Z)G(Z)：Z Z aZa|bZb|cZc|a|b|c|aZa|bZb|cZc|a|b|c|第62页，此课件共96页哦最左（右）推导最左（右）推导最左推导或最右推导最左推导或最右推导：所谓最左推导是指：所谓最左

44、推导是指：任何一步任何一步都是对都是对中的中的最左最左非终结非终结符进行替换的。同样，可定义最右推导。符进行替换的。同样，可定义最右推导。最右推导最右推导又称为又称为规范推导规范推导。第63页，此课件共96页哦例如：对于文法：例如：对于文法：EE+E|E*E|(E)|EE+E|E*E|(E)|(2.1)(2.1)符号串符号串（i*i+i)i*i+i)的一个最左的一个最左推导过程如下：推导过程如下：E E(E)(E)(E+E)(E+E)(E*E+E)(E*E+E)(i*E+E)(i*E+E)(i*i+E)(i*i+E)(i*i+i)(i*i+i)最左（右）推导最左（右）推导第64页，此课件共9

45、6页哦课堂作业：课堂作业：第65页，此课件共96页哦语法分析树：语法分析树：简称语法树。用来表示推导简称语法树。用来表示推导过程。过程。2.3.2 语法分析树与二义性第66页，此课件共96页哦语法树示例语法树示例例如对于文法例如对于文法 EE+E|E*E|(E)|EE+E|E*E|(E)|,关于关于（i*i+i)i*i+i)的推导形成语法树如图的推导形成语法树如图第67页，此课件共96页哦语法树的构造语法树的构造：1.1.语法树的根结点由开始符号所标记。语法树的根结点由开始符号所标记。2.2.随着推导的展开，当某个非终结符被它的某个候随着推导的展开，当某个非终结符被它的某个候选式所替换时，这

46、个非终结符的相应结点就产生选式所替换时，这个非终结符的相应结点就产生了下一代新结点。每个新结点和其父亲结点间都了下一代新结点。每个新结点和其父亲结点间都有一条连线。有一条连线。3.3.在一棵语法树在一棵语法树生长过程中的任何时刻生长过程中的任何时刻，所有那些，所有那些没有后代的端末结点自左至右排列起来就是一个句型。没有后代的端末结点自左至右排列起来就是一个句型。2.3.2 语法分析树与二义性第68页，此课件共96页哦语法树的不唯一性语法树的不唯一性一个句型是否只对应唯一的一棵语法树呢？也就是说一个句型是否只对应唯一的一棵语法树呢？也就是说它是否只有唯一的一个最左（最右它是否只有唯一的一个最左

47、（最右)推导呢？推导呢？第69页，此课件共96页哦语法树的不唯一性语法树的不唯一性EE+E|E*E|(E)|EE+E|E*E|(E)|,关于（关于（i*i+i)i*i+i)的推导的推导E E(E)(E)(E*EE*E)(i*E)(i*E)(i*E+E)(i*E+E)(i*i+E)(i*i+E)(i*i+i)(i*i+i)E E(E)(E)(E+EE+E)(E*E+E)(E*E+E)(i*E+E)(i*E+E)(i*i+E)(i*i+E)(i*i+i)(i*i+i)第70页，此课件共96页哦 EE+E|E*E|(E)|EE+E|E*E|(E)|,关于（关于（i*i+i)i*i+i)的语法树的语法

48、树第71页，此课件共96页哦文法的二义性文法的二义性二义文法二义文法:如果一个文法存在如果一个文法存在某个句子某个句子对应两棵不同的语法树，则称这个文对应两棵不同的语法树，则称这个文法是二义的。也就是说，若一个文法法是二义的。也就是说，若一个文法存在某个句子，它有两个不同的最左存在某个句子，它有两个不同的最左（最右（最右)推导，则这个文法是法是推导，则这个文法是法是二义二义的的。第72页，此课件共96页哦文法二义性的几个问题文法二义性的几个问题n文法二义不等于语言二义文法二义不等于语言二义n文法的二义性问题是不可判定的文法的二义性问题是不可判定的n文法的二义性证明：找出一个句子，它有文法的二义

49、性证明：找出一个句子，它有两个不同的最左推导或最右推导两个不同的最左推导或最右推导n文法二义性的消除：给每个产生式定义优文法二义性的消除：给每个产生式定义优先级先级第73页，此课件共96页哦消除文法二义性示例消除文法二义性示例n一个二义文法一个二义文法nE-E+EE-E+EnE-E*EE-E*EnE-(E)E-(E)nE-iE-in二义原因分析二义原因分析n没有定义运算符优先级和结合性没有定义运算符优先级和结合性n消除方法消除方法n定义优先级和结合性定义优先级和结合性n给每个候选式定义一个优先级给每个候选式定义一个优先级n引入新的非终结符，建立新的产生式引入新的非终结符，建立新的产生式第74页

50、，此课件共96页哦n一个二义文法一个二义文法nEE+EEE+EnEE*EEE*EnE(E)E(E)nEiEin一个无二义文法一个无二义文法nET|E+TET|E+TnTF|T*FTF|T*FnF(E)F(E)nFiFi第75页，此课件共96页哦形式语言分类形式语言分类乔姆斯基把文法分为四种类型乔姆斯基把文法分为四种类型0 0型型1 1型型2 2型型3 3型型 0 0型强于型强于1 1型，型，1 1型强于型强于2 2型，型，2 2型强型强于于3 3型。这几种文法的差别在于对产型。这几种文法的差别在于对产生式施加不同的限制。生式施加不同的限制。第77页，此课件共96页哦0 0型文法型文法G=(V

展开阅读全文