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.

Язык оригиналаанглийский
Страницы (с-по)361-375
Число страниц15
ЖурналFundamenta Informaticae
Том52
Номер выпуска4
СостояниеОпубликовано - 1 окт 2002
Опубликовано для внешнего пользованияДа

    Предметные области Scopus

  • Теоретические компьютерные науки
  • Алгебра и теория чисел
  • Информационные системы
  • Математика и теория расчета

ID: 41145177