Multiset Pushdown Automata.
Manfred KudlekPatrick TotzkeGeorg ZetzschePublished in: Fundam. Informaticae (2009)
Keyphrases
- model checking
- finite state
- finite state machines
- finite automata
- probabilistic automata
- cellular automata
- turing machine
- computer vision
- digital libraries
- reinforcement learning
- markov chain
- pattern matching
- regular expressions
- tree automata
- image processing
- lattice gas
- state space
- data structure
- web services
- finite state automata
- database
- automata theoretic