Measuring nondeterminism in pushdown automata.

Jonathan Goldstine Hing Leung Detlef Wotschke

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

Keyphrases

finite state
situation calculus
model checking
cellular automata
data sets
probabilistic automata
finite state automata
turing machine
finite automata
evolutionary algorithm
information retrieval
pattern matching
expert systems
bayesian networks
machine learning
data mining
database
lattice gas