Deciding Universality of ptNFAs is PSpace-Complete [chapter]

Tomáš Masopust, Markus Krötzsch
2017 Lecture Notes in Computer Science  
An automaton is partially ordered if the only cycles in its transition diagram are self-loops. We study the universality problem for ptNFAs, a class of partially ordered NFAs recognizing piecewise testable languages. The universality problem asks if an automaton accepts all words over its alphabet. Deciding universality for both NFAs and partially ordered NFAs is PSpace-complete. For ptNFAs, the complexity drops to coNP-complete if the alphabet is fixed but is open if the alphabet may grow. We
more » ... how, using a novel and nontrivial construction, that the problem is PSpace-complete if the alphabet may grow polynomially. Supported by DFG grants KR 4381/1-1 & CRC 912 (HAEC), and by RVO 67985840.
doi:10.1007/978-3-319-73117-9_29 fatcat:c2qvh4vfwzfbpj25yi25jkmbqy