编译原理（骆婷）第2章.pptVIP

对每个具体语言,都有语法和语义两个方面，形式语言是指不考虑语言的具体意义，即不考虑语义。 由于这三个语言均是有限符号串的集合，因此，可枚举出其全部句子来表示该语言。 分析 设计一个文法来描述一个语言, 关键是设计一组规则生成语言中的符号串。因此，为设计该语言文法，必须分析这个语言是由怎样一些符号串组成的，即首先分析语言中串的结构特征： 对于文法G来说，它所产生的有些符号串，如aabb，bbaa，…… 不属于语言L，即设计的文法超出了所定义语言的范围。 分析 题意是用文法定义标识符，必须确定P中规则。为了设计出一组规则，首先应搞清楚集合中串的结构特征。 该文法不能定义包含多个字母的标识符，缩小了所定义语言的范围。 用I代表标识符；L代表字母；D代表数字；T代表字母数字串；则定义标识符的文法还可写为： 规则的作用是告诉我们如何用规则中的符号串生成语言中的序列。 分析 只要证明符号串 (i*i+i) 对文法 G存在一个推导，就可证明符号串 (i*i+i) 是文法G[E]的一个句子。 即有 E?(i*i+i), 所以符号串(i+i*i)是文法 G[E]的一个句子。 分析 由识别符号S出发，将推出一些什么样的句子，也就是说，L(G[S])将由什么样的一些符号串所组成的集合，找出其中的规律，用式子或自然语言描述出来。 分析 最右推导是指在推导过程中任何一步α?β (α和β是句型)，都是对α中的最右非终结符进行替换。 2.7 有关文法的实用限制和变换 例如 设有文法G[S]: P: S? Bd A? Ad | d B? Cd | Ae C? Ce D? e 删除多余规则后的文法变换为: P: S? Bd A? Ad | d B? Ae 2.7 有关文法的实用限制和变换 若程序设计语言的文法含有多余规则， 其中必定有错误存在，因此检查文法中是否含有多余规则对我们来说是很重要的。 本章重点介绍了语言的语法结构的形式描述、语法树以及文法的二义性, 主要内容有： 1. 设计一个文法定义一个已知的语言 (1)文法是一个四元组 G=(VN,VT, P, S)，文法四大要素中，关键是一组规则, 它定义（或描述）了一个语言的结构。 从文法定义可知, 文法对于程序设计者来 说，文法给出了语言的精确定义和描述。 本章小结 (2) 分析已知语言句子的结构特征, 设计 出相应的一组规则，但不唯一。 (4) 若语言是无穷集合, 设计该语言的文 法一定是递归的。 本章小结 (3) 设计的文法必须能定义已知的语言, 不能超出或缩小所定义语言的范围。 分析 根据语言句子的结构特征，设计出相应规则 例1. 给出语言 L1={an bm| m≥n≥1} 的文法 P1: S→AB L1={ab,abb,abbb, …aabb,aabbb,aabbbb, … aaabbb, aabbbb，…} A→aAb | ab B→bB |ε 本章小结 分析 根据语言句子的结构特征，设计出相 应规则 例2. 给出语言 L2={a2n+1|n≥0} 的文法 P2: A→aB | a P2：A→aAa | a 或 L2={a, aaa, aaaaa, aaaaaaa, aaaaaaaaa，…} B→aa | aBa 本章小结 本章小结 分析 根据语言句子的结构特征，设计出相应规则 例3. 给出语言L3={anbmck| n,m,k≥0}的文法 P3: A→aA | bB | cC |ε P3: A→aA | B 或 L3={ε,a,aa,aaa…,b,bb,bbb…,c,cc,ccc, …, ab,abb, …,bc,bcc，…} C→cC |ε B→bB | cC |ε C→cC |ε B→bB | C 本章小结 L4={2,4,6,8,10,12,14,16,18,20,22,24,26,…} 例4. 写一个 文法,使其语言是正偶数的集合,每个偶数不以0开头。 P4: N→2 |4|6|8| AE N→|2 | 4 | 6 | 8 |BE 或 分析 不以0开头的正偶数集合中串的结构特征: A→D | AD′ E→0 | 2 | 4 | 6 | 8 D→1 | 2 | 3 | …| 9 D→0 | 1 | 2 | 3 |…| 9 B→1 | 2 | 3 | …| 9 |B0|B1|B2|…|B9 P4: