Visibly Pushdown Automata and Transducers with Counters.
Oscar H. IbarraPublished in: Fundam. Informaticae (2016)
Keyphrases
- finite automata
- finite state automata
- probabilistic automata
- finite state machines
- model checking
- regular expressions
- grammatical inference
- cellular automata
- finite automaton
- tree automata
- finite state
- hidden markov models
- floating point
- formal language theory
- regular languages
- mobile robot
- artificial intelligence
- turing machine
- neural network
- markov chain