检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
作 者:盛莉[1]
出 处:《纯粹数学与应用数学》2010年第2期270-274,共5页Pure and Applied Mathematics
摘 要:给出了格值上下文无关文法(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.
关 键 词:格半群 格值上下文无关文法 Chomsky范式 Greibach范式
分 类 号:O235[理学—运筹学与控制论] TP301.1[理学—数学]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.229