Emptiness of Stack Automata is NEXPTIME-complete: A Correction.

Christopher H. Broadbent Arnaud Carayol Matthew Hague Olivier Serre

Published in: CoRR (2018)

Keyphrases

pspace complete
tree automata
finite automata
satisfiability problem
cellular automata
datalog programs
data mining
machine learning
genetic algorithm
special case
medical images
regular expressions
finite state machines
finite state
coalitional games
probabilistic automata