Trimming Visibly Pushdown Automata.

Mathieu Caralp Pierre-Alain Reynier Jean-Marc Talbot

Published in: CIAA (2013)

Keyphrases

cellular automata
model checking
finite state
finite state machines
finite automata
probabilistic automata
finite state automata
timed automata
regular expressions
data mining
machine learning
information retrieval
probability distribution
temporal logic
context free
tree automata