We study caterpillar tree automata that are restricted to enter any subtree at most one time (or k times). We show that, somewhat surprisingly, the deterministic one-visit automata can already, for instance, evaluate trees where the nodes represent some non-associative operations. We show that there exist regular tree languages that cannot be accepted by a one-visit automaton, thus proving a weakened form of a conjecture of Brüggemann-Klein and Wood. We establish that the k-visit property is decidable.

Original languageEnglish
Pages (from-to)361-375
Number of pages15
JournalFundamenta Informaticae
Volume52
Issue number4
StatePublished - 1 Oct 2002
Externally publishedYes

    Research areas

  • K-visit property, Markup languages, Regular tree languages, Tree automata

    Scopus subject areas

  • Theoretical Computer Science
  • Algebra and Number Theory
  • Information Systems
  • Computational Theory and Mathematics

ID: 41145177