Emptiness of Ordered Multi-Pushdown Automata is 2ETIME-Complete.

Mohamed Faouzi Atig Benedikt Bollig Peter Habermehl

Published in: Int. J. Found. Comput. Sci. (2017)

Keyphrases

cellular automata
tree automata
probabilistic automata
finite state
partially ordered
linearly ordered
real time
multiscale
evolutionary algorithm
regular expressions