Detecting useless transitions in pushdown automata.

Evangelos Chatzikalymnios Wan J. Fokkink Dick Grune Brinio Hond Peter Rutgers

Published in: Inf. Comput. (2021)

Keyphrases

cellular automata
finite state
automatic detection
real world
relational databases
database
information retrieval
model checking
data sets
databases
artificial intelligence
website
regular expressions
finite automata
tree automata
finite state automata