2-Visibly Pushdown Automata.
Dario CarotenutoAniello MuranoAdriano PeronPublished in: Developments in Language Theory (2007)
Keyphrases
- finite state
- model checking
- cellular automata
- finite automata
- probabilistic automata
- finite state machines
- finite automaton
- timed automata
- regular expressions
- lattice gas
- dynamic programming
- multi agent
- temporal logic
- context free
- tree automata
- finite state automata
- neural network
- special case
- bayesian networks
- feature extraction
- database systems
- knowledge base
- learning algorithm
- information retrieval
- data mining
- database