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

• 作者: 党德玉 张雪峰 罗洪霞 许丽娟
• 来源期刊: 计算机与现代化
• 学科: 工学
• 关键词: 上下文无关文法 递归推导 文法构造 文法推断
• 年，卷（期）: 2008,（6）
• 页码范围: 4-7
• 页数: 4页
• 分类号: TP311.52
• 字数: 4991字
• 语种: 中文
• DOI: 10.3969/j.issn.1006-2475.2008.06.002

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	党德玉	东北电力大学信息工程学院	16	86	5.0	9.0
2	张雪峰	广东工业大学华立学院	8	10	1.0	3.0
3	罗洪霞	广东工业大学华立学院	15	18	2.0	4.0
4	许丽娟	广东工业大学华立学院	7	3	1.0	1.0