The Quest for a Tight Translation of Büchi to co-Büchi Automata.

Udi Boker Orna Kupferman

Published in: Fields of Logic and Computation (2010)

Keyphrases

information gain
lower bound
upper bound
data sets
worst case
machine translation
databases
information systems
objective function
cellular automata
regular expressions