本文主要研究了结合代数及双自由模上的Grobner-Shirshov基理论。得到辫子群Bn，Bn型辫子群B（Bn），辫子幺半群B+n，半单李代数sl2上的既约......

本文将模糊树自动机和模糊上下文无关树文法的概念推广到格半群上。证明了在接受语言和生成语言的意义下，树自动机和上下文无关树文......