Tabulation of Bidirectional Push Down Automata.

Miguel A. Alonso Víctor J. Díaz Manuel Vilares Ferro

Published in: CIAA (2002)

Keyphrases

cellular automata
probabilistic automata
finite automata
regular expressions
finite state machines
finite state
data sets
metadata
tree automata
finite state automata
bidirectional search
timed automata
lattice gas