Güncelleme: Bu sorun son zamanlarda incelenmiş ve çözülmüş gibi görünüyor, şu wiki makalesine bakın: http://en.wikipedia.org/wiki/Tree_walking_automaton Ve ayrıca bu anket: http://www.mimuw.edu.pl/~bojan /papers/twasurvey.pdf
Farz edin ki, olağan kelime kümesi ({0,1} *) yerine, sözlerimiz doğrusal değildir, daha çok bazı ağaç yapılarında verilmiştir. Makinelerimizin "kaybolmasını" önlemek için, kelimelerimizi ikili, gömülü ağaç kümesi olarak tanımlayın. (Yani her kelime, her kenarın derece iki olan belirli bir kökten uzağa yönlendirildiği bir ağaçtır, diğer yaprak olmayan tepe noktalarının üç derecesi vardır ve her kenar soldan veya sağdan etiketlenir, böylece her kenar Aynı tepe noktasının farklı etiketleri vardır.) Bir dil, bu tür ağaçlar kümesidir. (Köşelerde, ağaçların yerel olarak değiştirilmesiyle simüle edilebileceği için köşelere sıfır ve bir tane yazmaya gerek olmadığını unutmayın.) Bir makine "bir ağacı okurken", kökten başlarsa, belirli bir köşe köküdür,
Bu modelde, deterministik olmayan bir sonlu durum otomatı tarafından tanınabilecek herhangi bir dilin de deterministik bir sonlu durum otomatı tarafından tanınabileceği doğru mu?
Bant normal doğrusal bant olduğunda, bunun doğru olduğunu unutmayın, çünkü herhangi bir 2-NFA 2-DFA ile simüle edilebilir (bir DFA ile bile). Zaten burada Kristoffer tarafından çözülen sorunun özel bir örneğini sordum . Motivasyon çözmek olacaktır bu .