Two-Way Pushdown Automata

Jim Gray Michael A. Harrison Oscar H. Ibarra

Published in: Inf. Control. (1967)

Keyphrases

cellular automata
model checking
finite state
lattice gas
finite automata
timed automata
finite state machines
probabilistic automata
tree automata
regular expressions
decision making
automata theoretic
temporal logic
finite state automata
database
multiscale
face recognition