A Unifying Approach for Multistack Pushdown Automata.
Salvatore La TorreMargherita NapoliGennaro ParlatoPublished in: MFCS (1) (2014)
Keyphrases
- model checking
- finite state
- finite state machines
- cellular automata
- finite automata
- lattice gas
- probabilistic automata
- tree automata
- regular expressions
- timed automata
- computer vision
- database
- temporal logic
- artificial neural networks
- natural language
- turing machine
- formal languages
- social networks
- search engine
- data sets