格值上下文无关文法的范式

摘要

给出了格值上下文无关文法(LCFG)，Chomsky范式文法，Greibach范式文法的定义。证明了对任意的LCFG存在与之等价的Chomsky范式文法;给出了对任意的LCFG，存在与之等价的Greibach范式文法的条件。文中结论表明了LCFG的特性与其取值格的代数性质密切相关。