Detecting Useless Transitions in Pushdown Automata.

Wan J. Fokkink Dick Grune Brinio Hond Peter Rutgers

Published in: CoRR (2013)

Keyphrases

cellular automata
model checking
data sets
finite automata
multi agent
finite state
machine learning
artificial intelligence
social networks
information systems
image segmentation
special case
probability distribution
state space
automatic detection
state transitions