一个确定性有限状态机，接受无限的树木，而不是字符串。树节点均带有自动机，字母表中的字母和转移函数将编码树的每个分支的下一个状态。这种自动机的表现力 电源而异树的验收条件。