Tree Automata with Constraints: a brief survey - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Documents Associated With Scientific Events Year : 2013

Tree Automata with Constraints: a brief survey


It is well-known that tree automata define exactly regular languages of trees. However for some problems one sometimes needs to test for equalities and disequalities of subtrees. For instance, ranges of non-linear tree transducers cannot be represented by tree automata. To overcome this problem some extensions of tree automata with tree (dis)equality constraints have been proposed. This talk surveys some of the most important models and their applications. Two families of automata are presented. First, we consider automata with local constraints. They have been used to solve problems related to pattern-matching, tree rewriting and more recently the tree homomorphism problem. Then, motivated by applications to XML processing and security protocols verification, we present a more recent model of tree automata with global constraints.
Fichier principal
Vignette du fichier
TAC-survey.pdf (357.9 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-00840959 , version 1 (03-07-2013)


  • HAL Id : hal-00840959 , version 1


Emmanuel Filiot, Florent Jacquemard, Sophie Tison. Tree Automata with Constraints: a brief survey. Tree Transducers and Formal Methods (Dagstuhl Seminar 13192), May 2013, Wadern, Germany. pp.1-18, 2013. ⟨hal-00840959⟩
338 View
100 Download


Gmail Facebook Twitter LinkedIn More