Prefix pushdown automata and their simplification.

Alexander Meduna

Published in: Int. J. Comput. Math. (1999)

Keyphrases

finite state
cellular automata
model checking
finite state machines
finite automata
lattice gas
data structure
regular expressions
probabilistic automata
formal language theory
multiresolution
finite state automata
real time
image processing
prefix tree
genetic algorithm
tree automata
timed automata
metadata