计算理论导引上下文无关文法.pptVIP

主要内容 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} {