编译原理第三章55907.ppt

3.2 符号和符号串 字母表（符号集） 符号串 符号串的头尾，固有头和固有尾 符号串的连接 符号串的方幂 符号串集合 符号串集合的乘积 符号串集合的方幂 符号串集合的闭包 3.3 文法和语言的形式定义 文法的形式定义： 规则（产生式） 文法定义 语言的形式定义： 推导、直接推导 句型、句子 语言定义 本章小结 L(G[N])={α | α∈{0,1,2, …9}+} ={α | α为可带前导0的正整数} ={α | α为数字串} 最左推导: N?ND?N7?ND7?N27?ND27 ? N127?D127?0127 最右推导: N?ND?NDD?NDDD?DDDD ?0DDD?01DD?012D?0127 N →ND | D D →0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 本章小结 例3. 已知文法G[S]=( {A,B},{a,b,c,d}, P, S ) , 其中 P 为: 分析 ∵ S?AB?aAbB?a2Ab2B?… ?an-1Abn-1B?anbnB?anbncBd ? anbnc2Bd2 ? … ? anbncm-1Bdm-1?anbncmdm ∴ L(G[S])={anbncmdm | n ,m≥1 } 该