Advertisement

Tree-Walking Automata Cannot Be Determinized

  • Mikołaj Bojańczyk
  • Thomas Colcombet
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3142)

Abstract

Tree-walking automata are a natural sequential model for recognizing tree languages. It is shown that deterministic tree-walking automata are weaker than nondeterministic tree-walking automata.

Keywords

Unary Pattern Regular Language Search Behaviour Tree Language Deterministic Automaton 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [AU71]
    Aho, A.V., Ullman, J.D.: Translations on a context-free grammar. Information and Control 19(5), 439–475 (1971)CrossRefMathSciNetGoogle Scholar
  2. [Boj03]
    Bojańczyk, M.: 1-bounded TWA cannot be determinized. In: Pandya, P.K., Radhakrishnan, J. (eds.) FSTTCS 2003. LNCS, vol. 2914, pp. 62–73. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  3. [EH99]
    Engelfriet, J., Hoogeboom, H.J.: Tree-walking pebble automata. In: Paum, G., Karhumaki, J., Maurer, H., Rozenberg, G. (eds.) Jewels are forever, contributions to Theoretical Computer Science in honor of Arto Salomaa, pp. 72–83. Springer, Heidelberg (1999)Google Scholar
  4. [EHvB99]
    Engelfriet, J., Hoogeboom, H.J., van Best, J.-P.: Trips on trees. Acta Cybernetica 14, 51–64 (1999)zbMATHMathSciNetGoogle Scholar
  5. [KS81]
    Kamimura, T., Slutzki, G.: Parallel two-way automata on directed ordered acyclic graphs. Information and Control 49(1), 10–51 (1981)zbMATHCrossRefMathSciNetGoogle Scholar
  6. [NS00]
    Neven, F., Schwentick, T.: On the power of tree-walking automata. In: Welzl, E., Montanari, U., Rolim, J.D.P. (eds.) ICALP 2000. LNCS, vol. 1853, p. 547. Springer, Heidelberg (2000)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2004

Authors and Affiliations

  • Mikołaj Bojańczyk
    • 1
  • Thomas Colcombet
    • 1
  1. 1.Uniwersytet Warszawski, Wydział MIMWarszawaPoland

Personalised recommendations