论文部分内容阅读
给出了格值上下文无关文法(LCFG)，Chomsky范式文法，Greibach范式文法的定义。证明了对任意的LCFG存在与之等价的Chomsky范式文法;给出了对任意的LCFG，存在与之等价的Greibach范式文法的条件。文中结论表明了LCFG的特性与其取值格的代数性质密切相关。
格值上下文无关文法的范式
【摘 要】
：
给出了格值上下文无关文法(LCFG)，Chomsky范式文法，Greibach范式文法的定义。证明了对任意的LCFG存在与之等价的Chomsky范式文法;给出了对任意的LCFG，存在与之等价的Greibach范
【机 构】
：
集美大学理学院，福建厦门361021
【出 处】
：
中国系统工程学会模糊数学与模糊系统专业委员会第十四届学术会议
【发表日期】
：
2008年10期
其他文献
构造了一个解三维抛物型方程的高精度ADI格式,格式绝对稳定,截断误差为O（△t^2＋△x^4）;然后应用Richerdson外推法,外推一次得到了具有O（△t^3＋△x^6）阶精度的近似解.
背越式跳高最关键的是助跑与起跳的结合,国内外对起跳动作的分析和研究已经很多,但是对弧线助跑技术的研究,尤其是助跑后程切入弧线后的倒2步助跑与起跳的衔接的相关资料还比