第2章程序语言的基本知识.pptVIP

2.2文法和语言推导是用产生式的右部代替左部，归约是用产生式的左部代替右部，归约是推导的逆过程直接推导直接归约用αAβ代替αγβ为一步直接归约，记为αγβ=αAβαAβαγβ**第29页，共70页，星期日，2025年，2月5日2.2文法和语言推导的长度直接推导的次数αβ，长度大于等于1的推导αβ，长度大于等于0的推导推导的例子： S?0S1?00S11?000111，长度为3 记为：S000111SS**第30页，共70页，星期日，2025年，2月5日2.2文法和语言最左推导最右推导对α中的最左非终结符进行展开对α中的最右非终结符进行展开**第31页，共70页，星期日，2025年，2月5日2.2文法和语言例子：表达式文法E→E+T E→T T→T*F T→F F→（E） F→a最左推导：ETT*FF*Fa*Fa*a**最右推导又称为规范推导最右推导：ETT*FT*aF*aa*a**第32页，共70页，星期日，2025年，2月5日2.2文法和语言最右归约最左归约最左推导的逆过程是最右归约，即对最右边的可归约串进行归约最右推导的逆过程是最左归约，即对最左边的可归约串进行归约a*a=a*F=F*F=T*F=T=Ea*a=F*a=T*a=T*F=T=E**最左归约称为规范归约**第33页，共70页，星期日，2025年，2月5日2.2文法和语言句型句子只包含终结符号的句型称为句子。句子是一种特殊的句型。从文法的开始符号出发进行零步或多于零步的推导得到的文法符号串（Sα）。句型可以既包含终结符号又包含非终结符号。**第34页，共70页，星期日，2025年，2月5日2.2文法和语言例：在推导 E?T?T*F?F*F?a*F?a*a中，句型有：E、T、T*F、F*F、a*F、a*a句子是：a*aE→E+TE→TT→T*FT→FF→（E）F→a**第35页，共70页，星期日，2025年，2月5日2.2文法和语言语言的形式定义文法G推导出的所有句子组成的集合，称为语言，记为L（G）L（G）={α|Sα，α∈VT*}**第36页，共70页，星期日，2025年，2月5日2.2文法和语言例子：G1：S→A A→0A1 A→01是由一个或多个0开头，后跟同样数目的1的符号串构成的集合（语言），可记为：L(G)={0n1n|n≥1}**第37页，共70页，星期日，2025年，2月5日2.2文法和语言G2： E→id E→E+E E→E*E E→（E）产生的是表达式的集合**第38页，共70页，星期日，2025年，2月5日2.2文法和语言G3：E→E+T E→T T→T*F T→F F→（E） F→id产生的也是表达式的集合**第39页，共70页，星期日，2025年，2月5日2.2文法和语言一个文法对应一个语言，但一个语言可能有若干个文法产生它，这若干个文法是等价的，称为等价文法例G2与G3**第40页，共70页，星期日，2025年，2月5日2.2文法和语言上下文无关文法能够描述现今程序设计语言的大部分语法结构算术表达式赋值语句条件语句等**第41页，共70页，星期日，2025年，2月5日2.2文法和语言表达式文法：G=({+,*,id,(,)},{E},E,P) P: E→id E→E+E E→E*E E→(E) E表示算术表达式，id表示程序的“变量