自动机的代数性质与相应的语言一直是自动机理论的研究的重点之一．本文从代数的角度讨论了格半群树自动机的一些代数性质，并探讨了经典的模糊树自动机识别的语言和模糊正则树表达之间的关系．本文分为三章，主要内容如下：第一章主要介绍了有关半群、格以及格半群的基本概念和格半群上的同余关系和同态关系．第二章给出了格半群树自动机的定义，研究了格半群树自动机的三种不同形式，证明了格半群树自动机构成格半群．并且讨论了格半群树自动机具有的一些格半群性质．并给出了定义在(l,∑, Θ)上的格半群树自动机(LSTA)构成的格半群的偏序关系．证明了由不同形式的格半群树自动机构成的半格、子格和格的存在性．最后从代数角度，分析了格半群树自动机构成的格半群的同余和同态关系，获得了由格半群树自动机构成的格半群的同态基本定理．第三章给出了模糊树置换，模糊树语言的并列和闭包运算的定义，证明了对模糊正则树语言应用置换、并列和闭包运算仍产生模糊正则树语言．最后给出了模糊正则树表达式的定义并证明模糊正则树表达式与模糊树自动机等价．