非确定性的树行走自动机是否比确定性的自动行走更强？

更新：似乎这个问题最近已经得到研究和解决，请参见以下Wiki文章：http : //en.wikipedia.org/wiki/Tree_walking_automaton 以及本次调查：http : //www.mimuw.edu.pl/~bojan /papers/twasurvey.pdf

假设我们的单词不是线性的{0,1} *，而是线性的，而是在某种树形结构上给出的。为了防止我们的机器“迷路”，请将我们的词定义为二进制嵌入式树状集。（因此，每个单词都是一棵树，其中每个边的方向都远离给定的具有度2的根，每个其他非叶顶点都具有度3，并且每个边都被标记为左或右，使得从该点开始的任何两个边同一顶点具有不同的标签。）语言是一组此类树。（请注意，无需在顶点上写入零和一，因为可以通过局部修改树来模拟它们。）当机器“读取树”时，它从根开始，它可以感知给定的顶点是根，

在此模型中，是否可以由非确定性有限状态自动机识别的任何语言也可以由确定性有限状态自动机识别？

请注意，当磁带是普通的线性磁带时，这是正确的，因为可以使用2-DFA（甚至使用DFA）来模拟任何2-NFA。我已经问这个问题的一个特例这里，是由解决的Kristoffer。动机是要解决这个问题。

对于树自动机，您将获得以下结果：

• 确定性自下而上树自动机具有与非确定性自下而上树自动机相同的表达能力。

• 确定性自上而下的树自动机比非确定性自上而下的树自动机弱。

可以在“ 树自动机”书中找到更多详细信息。

您似乎对自上而下的树自动机感兴趣，因此对您的问题的答案为否。您当然必须检查自上而下的树自动机是否真的是您感兴趣的东西。

是/否=非确定性自动机更强大：http：//www.mimuw.edu.pl/~bojan/papers/dtwa.pdf