Recursive Schemes, Krivine Machines, and Collapsible Pushdown Automata.

Sylvain Salvati Igor Walukiewicz

Published in: RP (2012)

Keyphrases

turing machine
finite state
finite automata
cellular automata
model checking
probabilistic automata
data mining
e learning
bayesian networks
expert systems
parallel machines
datalog programs
tree automata
recursive queries