树自动机与模糊树自动机的代数性质.pdf

 2006 Æ ℄  S S Æ Æ Æ 1.2.5() ϕ A = (Q ,F , Q , ∆ ) 1 1 f1 1 A = (Q ,F , Q , ∆ ) ρ A ρ ⊆ ker ϕ, 2 2 f2 2 1 α : A /ρ → A , ϕ = αη, 1 2