FUTUR. Portal de la Producció Científica dels Investigadors de la UPC.

Emptiness and finiteness for tree automata with global reflexive disequality constraints

Autor: Creus, C.; Gascon, A.; Godoy, G.

Tipus d'activitat: Article en revista
Revista: Journal of automated reasoning
Data de publicació: 2013-12-01
Volum: 51
Número: 4
Pàgina inicial: 371
Pàgina final: 400
DOI: https://doi.org/10.1007/s10817-012-9270-5

Repositori: http://hdl.handle.net/2117/22680
URL: http://link.springer.com/article/10.1007%2Fs10817-012-9270-5
Resum: In recent years, several extensions of tree automata have been considered. Most of them are related with the capability of testing equality or disequality of certain subterms of the term evaluated by the automaton. In particular, tree automata with global constraints are able to test equality and disequality of subterms depending on the state to which they are evaluated. The emptiness problem is known decidable for this kind of automata, but with a non-elementary time complexity, and the finiten...

In recent years, several extensions of tree automata have been considered. Most of them are related with the capability of testing equality or disequality of certain subterms of the term evaluated by the automaton. In particular, tree automata with global constraints are able to test equality and disequality of subterms depending on the state to which they are evaluated. The emptiness problem is known decidable for this kind of automata, but with a non-elementary time complexity, and the finiteness problem remains unknown. In this paper, we consider the particular case of tree automata with global constraints when the constraint is a conjunction of disequalities between states, and the disequality predicate is forced to be reflexive. This restriction is significant in the context of XML definitions with monadic key constraints. We prove that emptiness and finiteness are decidable in triple exponential time for this kind of automata. © 2012 Springer Science+Business Media Dordrecht.
Citació: Creus, C.; Gascon, A.; Godoy, G. Emptiness and finiteness for tree automata with global reflexive disequality constraints. "Journal of automated reasoning", 01 Desembre 2013, vol. 51, núm. 4, p. 371-400.
Paraules clau: Decision Problems, Disequality Constraints, Global Constraints, Tree Automata

Grup de recerca: ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals

Participants

Creus Lopez, Carles (autor)
Gascon Caro, Adrian (autor)
Godoy Balil, Guillermo (autor)