首页> 中文期刊> 《计算机与现代化》 >一个上下文无关文法的构造定理及其在推断中的应用

一个上下文无关文法的构造定理及其在推断中的应用

         

摘要

递归概念可以在句子中重复派生、循环出现.对这样的句子推断时,若为递归概念的每一个派生部分引进一个递归概念来描述,将推断出多个与之有相似的产生式结构的递归概念,同时也构造出一个新文法.本文先给出新文法的形式化构造方法,证明了新文法与原文法的等价性.在文章的后部,通过实例,介绍该定理在简化复杂文法推断中的应用.

著录项

相似文献

  • 中文文献
  • 外文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号