Direct or Cascade Product of Pushdown Automata.

Published in: J. Comput. Syst. Sci. (1977)

Keyphrases

model checking
regular expressions
data sets
computer vision
cellular automata
knowledge base
pattern matching
production planning
finite automata
probabilistic automata