Observations on determinization of Büchi automata.

Christoph Schulte Althoff Wolfgang Thomas Nico Wallmeier

Published in: Theor. Comput. Sci. (2006)

Keyphrases

cellular automata
finite automata
finite state
probabilistic automata
database
learning algorithm
search engine
computer vision
database systems
multiscale
wide range
probabilistic model
information gain
regular expressions
lattice gas