计算理论与导引 2 上下文无关文法 .ppt

主要内容 2.1 上下文无关文法概述 2.1.1 上下文无关文法的形式化定义 2.1.2 上下文无关文法举例 2.1.3 设计上下文无关文法 2.1.4 歧义性 2.1.5 乔姆斯基范式 2.2 下推自动机 2.2.1 下推自动机的形式化定义 2.2.2 下推自动机举例 2.2.1 与上下文无关文法的等价性 2.3 非上下文无关语言 上下文无关文法 (CFG) 概述 A ? 0A1 A ? B B ? # 如何利用 CFG 产生字符串 A ? 0A1 A ? B A ? # 如何利用 CFG 产生字符串 A ? 0A1 A ? B A ? # 文法的语言 A ? 0A1 A ? B A ? # 上下文无关文法的形式化定义 CFG的术语 假设 u 与 v 由变元及终结符构成的字符串，A?w 是文法的一条规则，称 uAv 生成 uwv，记作 uAv ? uwv 。 如果 u = v ，或者存在 u1, u2, …, uk, k ? 0 使得 u? u1? u2?…? uk ? v，则称 u 派生 v，记作 u ?* v。 文法 G = (V,T,R,S)的语言为 L(G) = { w?T*| S ? w } 上下文无关文法举例 设计上下文无关文法 设计如下语言的上下文无关文法 {0n1n | n ? 0}∪{1n0n | n ? 0} {0n1n | n ? 0} {1n0n | n ? 0} 设计技巧 化繁为简，利用正则，考察子串，利用递归。 设计上下文无关文法 CFG for L1 = {0n1n | n ? 0} S ? 0S1 | ? CFG for L2 = {1n0n | n ? 0} S ? 1S0 | ? CFG for L1∪L2 S ? S1 | S2 S1 ? 0S11 | ? S2 ? 1S20 | ? CFG for L3 = {02n13n | n ? 0}? S ? 00S111 | ? 上下文无关文法与正则语言 任何正则语言可以由 CFG 描述。 最左派生 对于文法 G 中的一个字符串 w 的派生，如果在每一步都是替换左边剩下的变元，则称这个派生是最左派生。 例如G=( {S}, {(,)}, R, S ) ，其中规则为 S ? ( S ) | SS | ? S ? SS ? (S)S ? ( )S ? ( ) ( S )? ( ) ( ) S ? SS ? S(S) ? (S)(S) ? ( ) ( S ) ? ( ) ( ) 歧义性 一个串可能有两个甚至更多的最左派生。 例如 CFG G=( {S}, {+,*,a}, R, S) ，其中规则为 S ? S + S | S * S | a 产生串 a + a * a S ? S + S ? a + S ? a +S *S ? a + a * S ? a + a * a S ? S *S ? S + S * S ? a +S * S ? a + a * S ? a + a * a 歧义性 乔姆斯基范式 乔姆斯基范式 Step 1: 增加起始变元 S0 和规则 S0 ? S, 其中S是原来的起始变元。 Step 2: 考虑所有的 ? 规则。 对于 A ? ?, 删去每个A都会产生一个新规则。 例如 R ? uAvAw R ? uAvw, R ? uvAw, R ? uvw 乔姆斯基范式 Step 3: 考虑单一产生式A ? B。 例如： A ? B, B ? aC, B ? CC, 则增加 A ? aC, A ? CC 。 Step 4: 考虑A ? u1 u2 …uk, 其中 k 2且ui 是变量或终结符。替换该规则 A ? u1A1, A1 ? u2A2, A2 ? u3A3, …, Ak-2 ? uk-1uk 例题 例题 After that, we remove B ? ? 例题 After that, we remove A ? ? 例题 Then, we remove S ? S and S0 ? S 例题 Then, we remove A ? B 例题 Then, we remove A ? S 例题 Then, we apply Step 4 主要内容 2.1 上下文无关文法概述 2.1.1 上下文无关文法的形式化定义 2.1.2 上下文无关文法举例 2.1.3 设计上下文无关文法 2.1.4 歧义性 2.1.5 乔姆斯基范式 2.2 下推自动机 2.2.1 下推自动机的形式化定义 2.2.2 下推自动机举例 2.2.1 与上下文无关文法的等价性 2.3 非