本文研究正则树语言（regular tree languages）的代数识别器。作者引入一类称为正则树代数的代数结构，用以识别正则树语言；证明在所有能作为此类识别器的代数类中，只有该代数类构成伪簇（pseudo-variety）；进一步证明每个正则树语言都存在句法代数（syntactic algebra）；最后给出该类代数更代数化的刻画。该工作为树自动机与正则树语言提供了类似有限自动机代数理论的统一框架，并以伪簇与句法代数结果刻画其表达力。
问题
如何用代数结构作为正则树语言的识别器，并刻画这类代数类的性质与表达力。
方法
引入正则树代数类，研究其封闭性，构造句法代数，并给出此类代数的代数刻画。
评估
通过数学证明：证明该类是唯一形成伪簇的识别器类，并证明句法代数存在。
原文摘要（Abstract）
We introduce a class of algebras that can be used as recognisers for regular tree languages. We show that it is the only such class that forms a pseudo-variety and we prove the existence of syntactic algebras. Finally, we give a more algebraic characterisation of the algebras in our class.