Trimming visibly pushdown automata.
Mathieu CaralpPierre-Alain ReynierJean-Marc TalbotPublished in: Theor. Comput. Sci. (2015)
Keyphrases
- finite state
- model checking
- cellular automata
- timed automata
- finite state machines
- lattice gas
- probabilistic automata
- regular expressions
- finite automata
- database
- turing machine
- tree automata
- markov chain
- similarity measure
- image processing
- automata theoretic
- formal language theory
- temporal logic
- decision trees
- feature selection
- artificial intelligence
- databases
- real time