从代数的角度出发研究树自动机的同余与同态,得出树自动机的同态基本定理和同构基本定理,进而研究它们之间语言的相关性质.
In this paper,the congruences and homomorphisms of tree automata are studied from the algebra angle,the tree automaton’s homomorphism fundamental theorem and the isomorphism fundamental theorem are obtained,then language between them related nature is studied.