计算机数学基础第四章.pptVIP

计算机科学的数学基础 第四章 上下文无关语言 CFG与CFL 设文法G = (V, T, P, S)，若，对于?? ? ? ? P，满足? ? V，? ? (V ? T)*，则称G为2型文法或CFG。 CFG的产生式为A ? ?形式，即其右部只有单一的非终极符A，表明用?来取代A时，与A所在的上下文无关。故称为上下文无关文法。 CFG定义的语言称为CFL，记为L(G), L(G) = {w | w?T*且S ?*w}。 上下文无关文法的简化 无效符号：1、不出现在任何句型中的符号；2、不能产生终极符号串的符号， ?生成式：右部为?的生成式。 单元生成式：形为A?B的生成式，A, B?V。 定理4.4：每个不含?的上下文无关语言都可用一个没有无效符号，?生成式和单元生成式的上下文无关文法来定义。 Chomsky范式 定理4.5（Chomsky范式，或CNF）：任意不含?的上下文无关语言都能由这种文法产生，其中所有生成式的形式都是A → BC或A → a。在这里A，B和C都是变量，而a是终极符。 Chomsky范式文法的任何一棵语法树都是一棵二叉树。 Greibach范式 定理4.6(Greibach范式，或GNF)：每一个不含?的上下文无关语言L都能由这样一种文法产生，其生成式的形式都是A → a?，这里A是一个变量，a是一个终极符，而?是变量的（可能为空）符号串。