Sciweavers

FSTTCS
2009
Springer

On Nondeterministic Unranked Tree Automata with Sibling Constraints

14 years 6 months ago
On Nondeterministic Unranked Tree Automata with Sibling Constraints
ABSTRACT. We continue the study of bottom-up unranked tree automata with equality and disequality constraints between direct subtrees. In particular, we show that the emptiness problem for the nondeterministic automata is decidable. In addition, we show that the universality problem, in contrast, is undecidable.
Christof Löding, Karianto Wong
Added 26 May 2010
Updated 26 May 2010
Type Conference
Year 2009
Where FSTTCS
Authors Christof Löding, Karianto Wong
Comments (0)