一个确定性有限状态机，接受 finitary 树，而不是字符串。树节点均带有自动机，字母表中的字母和转移函数将编码树的每个分支的下一个状态。接受条件是相应的修改。