A Note on One-way Auxiliary Pushdown Automata.

Yue Wang Jianliang Xu Katsushi Inoue Akira Ito

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

Keyphrases

finite automata
model checking
cellular automata
finite state
probabilistic automata
finite state machines
onset detection
finite automaton
tree automata
databases
timed automata
regular expressions
hidden markov models
multiscale
decision making
lattice gas
artificial intelligence