Blackhole Pushdown Automata.
Erzsébet Csuhaj-VarjúTomás MasopustGyörgy VaszilPublished in: Fundam. Informaticae (2011)
Keyphrases
- model checking
- finite automata
- finite state
- regular expressions
- cellular automata
- finite state machines
- probabilistic automata
- tree automata
- pattern matching
- lattice gas
- timed automata
- high level
- machine learning
- finite automaton
- finite state automata
- image segmentation
- markov chain
- expert systems
- neural network
- automata theoretic