The Emptiness Problem for Tree Automata with at Least One Disequality Constraint is NP-hard
Formal Languages and Automata Theory
2014-12-03 v1
Abstract
The model of tree automata with equality and disequality constraints was introduced in 2007 by Filiot, Talbot and Tison. In this paper we show that if there is at least one disequality constraint, the emptiness problem is NP-hard.
Keywords
Cite
@article{arxiv.1412.0839,
title = {The Emptiness Problem for Tree Automata with at Least One Disequality Constraint is NP-hard},
author = {P. -C Héam and V. Hugot and O. Kouchnarenko},
journal= {arXiv preprint arXiv:1412.0839},
year = {2014}
}