Reversible Shrinking Two-Pushdown Automata.
Holger Bock AxelsenMarkus HolzerMartin KutribAndreas MalcherPublished in: LATA (2016)
Keyphrases
- cellular automata
- markov chain
- finite state
- lattice gas
- probabilistic automata
- model checking
- finite automata
- finite state machines
- real time
- tree automata
- regular expressions
- reversible watermarking
- timed automata
- lower bound
- multi agent
- regular languages
- finite state automata
- multimedia
- image processing
- decision making
- databases