Removing Nondeterminism in Constant Height Pushdown Automata.

Zuzana Bednárová Viliam Geffert Carlo Mereghetti Beatrice Palano

Published in: DCFS (2012)

Keyphrases

situation calculus
model checking
cellular automata
finite state machines
finite automata
databases
neural network
regular expressions
probabilistic automata
database
machine learning
metadata
evolutionary algorithm
temporal logic
finite state
tree automata