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

学习本章目的 学生通过学习了解高级程序语言的一些基本概念及其分类。以及语法结构的形式描述问题。 讲授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