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

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

单位：陕西师范大学数学与信息科学学院 陕西西安710062 陕西师范大学计算机科学学院 陕西西安710062