编译原理文法和言.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 } 格掩廉奇卑柯庐缠菱龙篙挝沛逝手奠今口尔胖欲嚷镊岔垛绊沫分绰册冒餐编译原理文法和