Shrinking Alternating Two-Pushdown Automata.

Friedrich Otto Etsuro Moriya

Published in: IEICE Trans. Inf. Syst. (2004)

Keyphrases

model checking
finite state
cellular automata
finite automata
finite state machines
probabilistic automata
regular expressions
lattice gas
digital libraries
temporal logic
turing machine
data sets
data mining
knowledge base
feature space