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

摘要：

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

关键词： 格半群 树自动机 上下文无关树文法 正规形式 等价文法

作者: 杨文武 李永明 孙丹丹

作者单位: 陕西师范大学数学与信息科学学院,陕西,西安,710062 陕西师范大学计算机科学学院,陕西,西安,710062

会议类型: 国内会议

会议名称: 2008年全国理论计算机科学学术年会

会议地点: 西安

会议语种:中文

页码: 92-94

在线出版日期: 2008-09-19（万方平台首次上网日期，不代表论文的发表时间）