格值树自动机与格值上下文无关树文法的等价性

• 作者: 孙丹丹 李永明 杨文武
• 来源期刊: 计算机工程与科学
• 学科: 数学
• 关键词: 格半群 树自动机 上下文无关树文法 正规形式 等价文法
• 年，卷（期）: 2008,（11）
• 所属期刊栏目: 理论计算机科学
• 页码范围: 92-94
• 页数: 3页
• 分类号: O235|O153.1
• 字数: 2815字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-130X.2008.11.028

摘要

本文将模糊树自动机和模糊上下文无关树文法的概念推广到格半群上.证明了在接受语言和生成语言的意义下,树自动机和上下文无关树文法是等价的.同时给出了构造正规形式的等价文法的方法.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李永明	陕西师范大学计算机科学学院	165	505	12.0	16.0
2	杨文武	陕西师范大学数学与信息科学学院	2	3	1.0	1.0
3	孙丹丹	陕西师范大学计算机科学学院	2	3	1.0	1.0