Notes on Looping Deterministic Two-Way Pushdown Automata.

M. Ladermann Holger Petersen

Published in: Inf. Process. Lett. (1994)

Keyphrases

finite state automaton
turing machine
finite state
cellular automata
model checking
finite automata
neural network
black box
finite state machines
data mining
timed automata
lattice gas
databases
regular expressions
hidden markov models
feature selection
hidden state
note taking