Two-Way Visibly Pushdown Automata and Transducers.
Luc DartoisEmmanuel FiliotPierre-Alain ReynierJean-Marc TalbotPublished in: LICS (2016)
Keyphrases
- finite automata
- finite state automata
- probabilistic automata
- finite state machines
- model checking
- regular expressions
- tree automata
- cellular automata
- grammatical inference
- finite automaton
- regular languages
- finite state
- timed automata
- temporal logic
- databases
- inductive inference
- markov chain
- hidden markov models
- natural language
- bayesian networks
- web pages