模糊树自动机的积与覆盖

给出了模糊树自动机的全直积、限制直积、级联积和圈积以及覆盖的定义,讨论了模糊树自动机积之间的关系、模糊树自动机积之间的覆盖关系以及模糊树自动机的积与覆盖它们的模糊树自动机的积之间的覆盖关系。

模糊树自动机语言的封闭性

给出了Σ-代数、Σ-树、模糊Σ-树自动机、模糊Σ-树自动机行为的定义。引入了模糊树自动机语言的并、交、连接和Kleene闭包运算,证明了在这些运算下模糊树自动机语言的封闭性。

模糊树自动机的同余与同态

从代数角度出发研究模糊树自动机的同余与同态,得出模糊树自动机的同态基本定理和同构基本定理,且对模糊树自动机的语言及模糊树自动机的极小化问题进行研究。

有限模糊树自动机的一些代数性质与相应的语言

将模糊自动机的同态、完全、容许关系等概念引入到模糊树自动机中,从代数的角度研究模糊树自动机的一些代数性质,并探讨了模糊树自动机的语言的相关问题。

Fuzzy树自动机的等价性

在给出模糊树自动机概念的基础上,讨论了模糊树自动机与传统字符自动机、模糊有限自动机相类似的性质,即指确定性模糊树自动机与非确定性的模糊树自动机的等价性、FNBTA与FNTTA等价,及FDBTA和FNBTA等价;这为模糊树自动机的进一步研究奠定了基础.

基于树的最小乘积模糊集代数

给出Σ-代数、Σ-树和Σ-树函数的定义。引入了最小乘积模糊集代数,以此研究了一类特定形式的Σ-树。讨论了线性正规等式下的等价类的封闭性,证明了Σ-运算满足分配律并具有保序性。