Automata for Unordered Trees - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Journal Articles Information and Computation Year : 2017

Automata for Unordered Trees

Adrien Boiret
  • Function : Author
  • PersonId : 958173
Vincent Hugot
  • Function : Author
  • PersonId : 958174
Joachim Niehren
Ralf Treinen
  • Function : Author
  • PersonId : 845934


We present a framework for defining automata for unordered data trees that is parametrized by the way in which multisets of children nodes are described. Presburger tree automata and alternating Presburger tree automata are particular instances. We establish the usual equivalence in expressiveness of tree automata and MSO for the automata defined in our framework. We then investigate subclasses of automata for unordered trees for which testing language equivalence is in P-time. For this we start from automata in our framework that describe multisets of children by finite automata, and propose two approaches of how to do this deterministically. We show that a restriction to confluent horizontal evaluation leads to polynomial-time emptiness and universality, but still suffers from coNP-completeness of the emptiness of binary intersections. Finally, efficient algorithms can be obtained by imposing an order of horizontal evaluation globally for all automata in the class. Depending on the choice of the order, we obtain different classes of automata, each of which has the same expressiveness as Counting MSO.
Fichier principal
Vignette du fichier
DeterministicAutomataUnordered_Journal-1.pdf (773 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-01179493 , version 1 (30-07-2016)



Adrien Boiret, Vincent Hugot, Joachim Niehren, Ralf Treinen. Automata for Unordered Trees. Information and Computation, 2017, 253, pp.304-335 ⟨10.1016/j.ic.2016.07.012⟩. ⟨hal-01179493⟩
322 View
280 Download



Gmail Facebook X LinkedIn More