Two-Way Parikh Automata with a Visibly Pushdown Stack.
Luc DartoisEmmanuel FiliotJean-Marc TalbotPublished in: FoSSaCS (2019)
Keyphrases
- model checking
- finite state
- finite automata
- cellular automata
- finite state machines
- probabilistic automata
- regular expressions
- lattice gas
- data sets
- tree automata
- turing machine
- grammatical inference
- automata theoretic
- formal language theory
- finite automaton
- finite state automata
- feature extraction
- decision trees
- neural network