On the Relative Succinctness of Nondeterministic Büchi and co-Büchi Word Automata.

Benjamin Aminof Orna Kupferman Omer Lev

Published in: LPAR (2008)

Keyphrases

finite automata
finite state
information gain
co occurrence
cellular automata
genetic algorithm
n gram
modal logic
text classification