第2章 法和语言的基本知.ppt

学习本章目的 学生通过学习了解高级程序语言的一些基本概念及其分类。以及语法结构的形式描述问题。 讲授6课时 以板书为主 本章主要讲解的内容为乔姆斯基文法及其分类，文法的二义性判断和证明，上下文无关文法的简化和语法树。 重点与难点 本章重点就是二义性判断和转化以及高级语言文法的内容。 文法分类是难点 作业 P32 2题 3题 5题 7题 8题 9题 10题 思考题 1设计一个文法，定义一个已知语言 2分析已知语言的句子结构特征设计相应的一组规则，但不唯一。 3设计的文法必须能定义已知语言的结构特征，不能扩大或者缩小范围。 定义某程序语言条件语句的文法G为 Ｓ→ if b S |if b S else S |A (其他语句) 试证明该文法是二义性的并消除之。 分析 该文法的句子 if b if b A else A 对应两棵不同的语法树，所以该文法是二义性的。 例2.15： 瘁栋具颠淤飞凶支轴盟池数瘩铀豺硅卜崭罢宛憋递宪吸存逾聚秆北毙吴牵第2章 文法和语言的基本知识第2章 文法和语言的基本知识 复合if语句的两棵语法语法树 if A S S b else S if b S A (b) S if b S A S if b else S A (a) 消除文法的二义性可采用下面两种方法。 (1) 不改变已有规则，仅加进一些非形式的语法规定:else与前面最接近的不带else的if相对应,消除二义性后如图（a)。 途吮霓储沼谴葫搁韭胞毫朔梭柬慎琢柒坛把钳芯戎添挝霄扩拦号仁幂浇竣第2章 文法和语言的基本知识第2章 文法和语言的基本知识 (2) 改写文法G为G′: S→S1|S2 S1→if b S1 else S1|A S2→if b S|if b S1 else S2 这是因为，通过分析得知引起二义性的原因是if-else语句的if后可以是if型，因此改写文法时规定if和else之间只能是if-else语句或其他语句。消除二义性后如图： S2 if b S S1 If b S1 else S1 A A 庙睡絮含篡炊仪丽桔帜姿裤楼嘛迂屿柒隅暇巳想甘拟双绪皆唇阿笼髓辽寡第2章 文法和语言的基本知识第2章 文法和语言的基本知识 §2.5 文法和语言的分类 著名的语言学家乔姆斯基(Chomsky)将文法和语言分为四大类，即0型、1型、2型、3型。 划分的依据是对文法中的规则施加不同的限制。 0型文法(无限制文法) 若文法G=(VN ,VT,P,S)中的每条规则α→β是这样的一种结构: 兹鹊兽阀锭景丛促鞭诈漓咯震秸集抗烬负藉裙四扶同像阑蓖坊罕惨豁价微第2章 文法和语言的基本知识第2章 文法和语言的基本知识 α?(VN U VT)* 且至少含一个非终结符，而β?(VN U VT)*则称G是0型文法。0型文法描述的语言是0型语言。0型文法又称为无限制性文法，语言称为无限制性语言。 例如:有0型文法G=( VN ,VT,P,S)，其中 VN = { A,B,S} VT= { 0, 1} P={ S→0AB 1B→0 B→SA|01 诗鞋斤航贬溃任眷参盯戴厂踏胳领乍劝观监胖板列臃浦段物络隅辫考韧腋第2章 文法和语言的基本知识第2章 文法和语言的基本知识 A1→SB1 A0→SOB1} 其描述的0型语言为L0(G[S])={}。 1型文法(上下文有关文法) 若文法G=(VN,VT,P,S)中的每一条规则的形式为αAβ →αuβ，其中A∈VN, α,β∈(VN∪VT)*,u∈(VN∪VT)+，称G是1型文法，1型文法描述的语言是1型语言。又称1型文法为上下文有关文法，相应的语言又称为上下文有关语言。 涂浪烘哪重捌弥肺棉腮鲍锐何窃欢钟巡卧蝎际酌域托禾砌宣养港讨疯蝶冲第2章 文法和语言的基本知识第2章 文法和语言的基本知识 例如: 有1型文法G=(VN,VT,P,S)，其中 VN={S,A,B} VT={a,b,c} P={S→aSAB|abB BA→BA′ BA′→AA′ AA′→AB bA→bb bB→bc cB→cc} 商沤熊拭讲洲规撮弓置例索篆逊赵唬划购蛀渗顾冗衷奎氯泞租嫁诬监猩岭第2章 文法和语言的基本知识第2章 文法和语言的基本知识 其描述的1型语言为L1(G[S])={anbn