更新：この問題は最近調査され、解決されたようです。次のWikiの記事を参照してください：http : //en.wikipedia.org/wiki/Tree_walking_automaton また、この調査：http : //www.mimuw.edu.pl/~bojan /papers/twasurvey.pdf
通常の単語のセット{0,1} *の代わりに、単語が線形ではなく、ツリー構造で与えられていると仮定します。私たちのマシンが「迷子になる」のを防ぐために、私たちの言葉をバイナリの埋め込まれた樹枝状のセットとして定義します。（したがって、すべての単語はツリーであり、すべてのエッジは次数2のルートから離れる方向に向けられ、他のすべての非リーフ頂点は次数3になり、すべてのエッジは左または右にラベル付けされ、同じ頂点には異なるラベルがあります。）言語はそのようなツリーのセットです。（頂点にゼロと1を書き込む必要はないことに注意してください。ローカルでツリーを変更することでシミュレートできるためです。）マシンが「ツリーを読み取る」とき、マシンはルートから始まり、与えられた頂点はルートであり、
このモデルでは、非決定性有限状態オートマトンで認識できる言語は、決定性有限状態オートマトンでも認識できるというのは本当ですか？
テープが通常のリニアテープである場合は、これが当てはまることに注意してください。これは、任意の2-NFAが2-DFAでシミュレーションできるためです（DFAでも）。私はすでに問題の特殊なインスタンス尋ねここで解決したクリストファーを。動機はこれを解決することです。
2
タイトルを変更して、「非決定的ツリーウォーキングオートマトン」に言及することをお勧めします。
—
シルヴァン