Pembaruan: Tampaknya masalah ini telah dipelajari dan diselesaikan baru-baru ini, lihat artikel wiki ini: http://en.wikipedia.org/wiki/Tree_walking_automaton Dan juga survei ini: http://www.mimuw.edu.pl/~bojan /papers/twasurvey.pdf
Misalkan alih-alih seperangkat kata yang biasa, {0,1} *, kata-kata kita tidak linear tetapi diberikan pada beberapa struktur pohon. Untuk mencegah mesin kami dari "tersesat", tentukan kata-kata kami sebagai himpunan biner, punjung yang tertanam. (Jadi setiap kata adalah pohon, di mana setiap tepi diarahkan jauh dari akar yang diberikan derajat dua, setiap simpul non-daun lainnya memiliki derajat tiga, dan setiap tepi diberi label kiri atau kanan sehingga setiap dua tepi mulai dari simpul yang sama memiliki label yang berbeda.) Bahasa adalah seperangkat pohon seperti itu. (Perhatikan bahwa tidak perlu menulis nol dan yang pada simpul karena mereka dapat disimulasikan dengan memodifikasi pohon secara lokal.) Ketika mesin "membaca pohon", itu dimulai dari root, itu bisa merasakan jika diberikan simpul adalah root,
Benarkah dalam model ini bahwa bahasa apa pun yang dapat dikenali oleh otomat keadaan terbatas non-deterministik juga dapat dikenali oleh otomat keadaan terbatas deterministik?
Perhatikan bahwa ketika rekaman itu adalah pita linear biasa, ini benar, karena 2-NFA dapat disimulasikan dengan 2-DFA (bahkan dengan DFA). Saya sudah bertanya contoh khusus dari masalah di sini yang diselesaikan oleh Kristoffer . Motivasinya adalah untuk menyelesaikan ini .