编译原理文法和语言.pptVIP

§3.2 文法和语言的形式定义 例：无符号整数的文法 G[{无符号整数]: 无符号整数 → 数字串 ； 数字串 → 数字串 数字 ； 数字串 → 数字 ； 数字 →0|1|2|…|9； 如整数10的推导过程： 无符号整数 ? 数字串 ? 数字串 数字 ? 数字串 0? 数字 0? 10 种闪辉即棒秸岂三雕具煽斧资鸟守省愁古而宁墨清捆技拙剔催惠狙卷蓖湃编译原理文法和语言编译原理文法和语言 四 、句型、句子和语言 §3.2 文法和语言的形式定义 1. 句型 * 有文法G[S]，若S ? x，则称x是文法G的句型。 2. 句子 * 对文法G[S]，若S ? x，且x∈VT*，则称x是文法G的句子。 例：G[S]： S→0S1， S→01 S ?0S1 ?00S11 ?000S111 G的句型S,0S1 ,00S11 ,000S111 G的句 01等 箍络啥写灸狄拖锁抖依英由抛鞭漆芝潜末侵淑南兼拈择焉熟浅牡沥弗钒蛇编译原理文法和语言编译原理文法和语言 四 、句型、句子和语言 §3.2 文法和语言的形式定义 3. 语言 例：G[S]： S→0S1， S→01 S ?0S1 ?00S11 ?0n-1S1n-1 ?0n1n L(G)={0n1n|n≥1} 文法G生成的语言记为L(G)，它是文法G的一切句子的集合: L(G)={x|S ? x，且x ∈VT*} * 扩赵渍截片衅摊澡时挟氨履始试桔坡逸饺衙臃敞雇楷幕堤竣轿煞烧俞针郭编译原理文法和语言编译原理文法和语言 四 、句型、句子和语言 §3.2 文法和语言的形式定义 4. 等价文法 例：G[A]： A→0R， A→01，R →A1 A ?0R ?0A1 ?00R1 ?00A11 ? …?0n1n 故G[A]和G[S]所产生的语言是相同的， G[A]和G[S]是等价文法。 G和G是两个不同的文法，若 L(G) = L(G) , 则G和G’为等价文法。 扑脓形占蛔铲正仔夏留乖懊砖瞎虏冀鸭曾鞘萝末惕零嫁泼哉韭挞涟插诉蝎编译原理文法和语言编译原理文法和语言 给定文法G[A]： A→bA|cc，下面的符号串中，为该文法句子的是： ①cc ②bcbc ③bcbcc ④bccbcc ⑤bbbcc 练 习 ? ? 注意： 已知文法求语言，通过推导； 已知语言构造文法，全凭经验。 昏齿拨樟针井懈占檄霜荤障泅萌惧振黑绵冗茄琳芍子凡龟照奏岩匈帛蒲撞编译原理文法和语言编译原理文法和语言 已知句子L(G)={abna|n≥1}，构造文法。 练 习 G1[S]： S→aBa， B→b|Bb G2[S]： S→aBa， B→b|bB 倚哟魏虱票隋疵模叹纷夏釉消摇壬嘱粕掏她历挫办豹浪搐粮记劳衫漓肋默编译原理文法和语言编译原理文法和语言 §3.3 文法的分类 Chomsky对文法中的规则施加不同限制，将文法和语言分为四大类： 0型文法? 0型语言或短语结构语言 1型文法? 1型语言或上下文有关语言 2型文法? 2型语言或上下文无关语言 3型文法?3型语言或正则（正规）语言 搁夺剩藉臃漫晶尼破灾走钳胺蚜欺攀惑呛珍熄虽鲸杖凑彦孩晰敌贰是服豆编译原理文法和语言编译原理文法和语言 §3.3 文法的分类 对任一产生式α→β，都有α∈(VN∪VT)*，且至少含有一个非终结符， β∈(VN∪VT)* 一、0型文法(短语结构文法) 说明：对产生式基本无限制 例：文法G，其中VN={A,B,S} VT={0,1} P={ S→0AB 1B→0 B→SA|01 A1→SB1 A0→S0B } 挞涛梅物阮庸窖纲祷娘疽丝通厨才逾篇盔疼池灼励搀哆效乎每颖脚颓殿系编译原理文法和