摘要
给出了格值上下文无关文法(LCFG),Chomsky范式文法,Greibach范式文法的定义.证明了对任意的LCFG存在与之等价的Chomsky范式文法;给出了对任意的LCFG,存在与之等价的Greibach范式文法的条件.文中结论表明了LCFG的特性与其取值格的代数性质密切相关.
The concepts of lattice-valued context free grammars(LCFG,for short),Chomsky norm form,Greibach norm form an fomulated.It's proved that for any LCFG,there exists an equivalent Chomsky norm form.The condition to satisfies that for any LCFG,there exists an equivalent Greibach norm form is given.The obtained results show the close links between the LCFG and the algebraic properties of lattice monoid which the LCFG takes values.
出处
《纯粹数学与应用数学》
CSCD
2010年第2期270-274,共5页
Pure and Applied Mathematics