Collapsible Pushdown Automata and Recursion Schemes.

Matthew Hague Andrzej S. Murawski C.-H. Luke Ong Olivier Serre

Published in: ACM Trans. Comput. Log. (2017)

Keyphrases

cellular automata
finite state
model checking
finite state machines
transitive closure
information retrieval
social networks
finite automata
finite state automata
metadata
website
regular expressions
turing machine