论文标题
加权树自动机 - 可以多一点吗？
Weighted Tree Automata -- May it be a little more?
论文作者
论文摘要
这是一本关于加权树自动机的书。我们以一致的形式提供了基本定义和一些重要结果，并提供了完整的证明。加权树自动机的概念是自动机理论的一部分，它触及了通用代数的区域。它起源于两个来源：加权字符串自动机和有限状态树自动机。
This is a book on weighted tree automata. We present the basic definitions and some of the important results in a coherent form with full proofs. The concept of weighted tree automata is part of Automata Theory and it touches the area of Universal Algebra. It originated from two sources: weighted string automata and finite-state tree automata.
