Two-Way Visibly Pushdown Automata and Transducers.
Luc DartoisEmmanuel FiliotPierre-Alain ReynierJean-Marc TalbotPublished in: CoRR (2016)
Keyphrases
- finite automata
- probabilistic automata
- finite state automata
- finite state machines
- regular expressions
- model checking
- tree automata
- cellular automata
- finite state
- grammatical inference
- lattice gas
- finite automaton
- hidden markov models
- regular languages
- timed automata
- formal language theory
- artificial intelligence
- temporal logic
- markov chain
- query language
- special case
- image processing