Right-Universality of Visibly Pushdown Automata.

Véronique Bruyère Marc Ducobu Olivier Gauwin

Published in: RV (2013)

Keyphrases

cellular automata
lattice gas
finite state
model checking
finite automata
probabilistic automata
regular expressions
finite state machines
tree automata
finite state automata
timed automata
data mining
multi agent systems
digital libraries
relational databases