Alternate Stacking Technique Revisited: Inclusion Problem of Superdeterministic Pushdown Automata.
Nguyen Van TangMizuhito OgawaPublished in: Inf. Media Technol. (2008)
Keyphrases
- cellular automata
- finite automata
- model checking
- finite state
- probabilistic automata
- combining multiple
- lattice gas
- finite state machines
- formal language theory
- tree automata
- ensemble learning
- finite state automata
- timed automata
- pattern recognition
- real time
- regular expressions
- markov decision processes
- decision trees
- neural network