Exponential Determinization for omega-Automata with Strong-Fairness Acceptance Condition (Extended Abstract)

Published in: STOC (1992)

Keyphrases

extended abstract
sufficient conditions
cellular automata
resource allocation
databases
finite state
finite automata
data sets
machine learning
learning algorithm
optimal solution
markov chain
pattern matching
regular expressions
lattice gas