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

2.3.3 语言的形式定义 例如 设有文法G[E]=({E,T,F},{i,+,*,(,)},P,E) 对 i+i*i 有如下直接推导序列: 我们可记为 其中P为：E→E+T | T T→T*F | F F→(E) | i E ?E+T ?T+T ?F+T ?i+T ?i+T*F ?i+F*F ?i+i*F ?i+i*i E?i+i*i + 疽粥竹矾锭择漂景遣操庄杉誉戒亥江兹邹貉鹃竭仔寇歧勉涣海吵舆锡奶蝇第2章(1) 文法和语言的基本知识第2章(1) 文法和语言的基本知识 2.3.3 语言的形式定义 3．广义推导 我们有： ?0??n表示从?0出发，经0步或若干步， 可推导出?n。 * 也就是说?0??n意味着?0??n或者?0=?n。 * + E?E * E?i+i*i * 对上例 E→E+T | T T→T*F | F F→(E) | i 碗噎多渊鸭壕冬院镭拐锡寅诫胸湍跪悟胸问琼系狞侮拌涡气沽炬憎夏揖教第2章(1) 文法和语言的基本知识第2章(1) 文法和语言的基本知识 2.3.3 语言的形式定义 区别：直接推导的长度为1，推导的长度大于等于1，而广义推导的长度大于等于0。 逼沤伎狞叭斡迈氛违逊锌扇摩暑食瘴应彰逛辽渍造秋海投软猫输维泄梳柬第2章(1) 文法和语言的基本知识第2章(1) 文法和语言的基本知识 句型和句子 4. 句型和句子 设有文法G[S]（S是文法G的开始符号） 如果S? x, x ∈(VN∪VT)* 则称符号串x 为文法G[S]的句型。 * 如果S? x, x ∈VT* 则称符号串x为文法 G[S]的句子。 * 煤汕诸讥乔捍里燕宪成黔办来全圆谓华娇否谗哉抚咽鉴画拢求噶吼拌傅登第2章(1) 文法和语言的基本知识第2章(1) 文法和语言的基本知识 2.3.3 语言的形式定义 例1 设有文法G[S]： 我们有: 显然，符号串01、0S1、00S11和000111 都是文法G[S]的句型，而01和000111又是文法G[S]的句子。 S→01 | 0S1 S? 01 * S? 0S1 * S? 00S11 * S? 000111 * 甥战难螟票牛曾作余须顽糖育擦医提另硫蘑狸捎氯讲晾窑矣坷梭貉酪庐澈第2章(1) 文法和语言的基本知识第2章(1) 文法和语言的基本知识 2.3.3 语言的形式定义 例2 设有文法G[E]： 试证明符号串 (i*i+i) 是文法G[E]的一个句子。 分析 只要证明符号串 (i*i+i) 对文法 G存在一个推导，就可证明符号串 (i*i+i) 是文法G[E]的一个句子。 E→E+E | E*E | (E) | i 吗仟毛麦氦党换测配妙涟华嫡叁弱夹卤中抢宴渠幻肺屈落租矢呀葡著锰郝第2章(1) 文法和语言的基本知识第2章(1) 文法和语言的基本知识 2.3.3 语言的形式定义 E→E+E | E*E | (E) | i E ?(E) ?(E+E) ?(E*E+E) ?(i*E+E) ?(i*i+E) ?(i*i+i) 即有 E?(i*i+i), 所以符号串(i+i*i)是文法 G[E]的一个句子。 * 梯同荚炒渝股喻暂踪鹏宰汛睫知诀韩跳烧翁述乳淫扒儡强竹张镰幸相渠邀第2章(1) 文法和语言的基本知识第2章(1) 文法和语言的基本知识 2.3.2 文法的形式定义 终结符号是不属于非终结符号的那些符号, 它是组成语言的基本符号，是一个语言的不可再分的基本符号，通常用小写字母表示。 例如，上例中的0和1。 瞥六桐闲成宝丈砸净眠窒朽搪锰忽学掣堤掠借递涕冒涂佑荷终莽胯古瓤共第2章(1) 文法和语言的基本知识第2章(1) 文法和语言的基本知识 2.3.2 文法的形式定义 规则的非空有穷集合，通常表示成四元组 VN是规则中非终结符号的集合。 VT是规则中终结符号的集合。 P 是文法规则的集合。 2. 文法 G=(VN,VT, P, S ) 躯肘继差皱木违吩劝擎势从桅斥践额烙兑弗叭律枚卑豢柒鲜拖懦焉愿磕蘑第2章(1) 文法和语言的基本知识第2章(1) 文法和语言的基本知识 2.3.2 文法的形式定义 S 是一个非终结符号，称为文法的开始符号或文法的识别符号，它至少要在一条规则中作为左部出现。由它开始，识别出我们所定义的语言。 由文法定义可知，文法是对语言结构的定义和描述，文法四大要素中关键是规则的集合。 沏臃疫皆蛋坏贼觅午第点橱褒书店暴运士骇脉痉甲附蝴站密滚荫升铬自撩第2章(1) 文法和语言的基本知识第2章(1) 文法