eng
Schloss Dagstuhl – Leibniz-Zentrum für Informatik
Leibniz International Proceedings in Informatics
1868-8969
2019-03-12
47:1
47:15
10.4230/LIPIcs.STACS.2019.47
article
Tree Automata with Global Constraints for Infinite Trees
Landwehr, Patrick
1
Löding, Christof
1
RWTH Aachen University, Germany
We study an extension of tree automata on infinite trees with global equality and disequality constraints. These constraints can enforce that all subtrees for which in the accepting run a state q is reached (at the root of that subtree) are identical, or that these trees differ from the subtrees at which a state q' is reached. We consider the closure properties of this model and its decision problems. While the emptiness problem for the general model remains open, we show the decidability of the emptiness problem for the case that the given automaton only uses equality constraints.
https://drops.dagstuhl.de/storage/00lipics/lipics-vol126-stacs2019/LIPIcs.STACS.2019.47/LIPIcs.STACS.2019.47.pdf
Tree automata
infinite trees
global constraints