Alternation Removal in Büchi Automata.

Udi Boker Orna Kupferman Adin Rosenberg

Published in: ICALP (2) (2010)

Keyphrases

cellular automata
probabilistic automata
finite automata
regular expressions
finite state
tree automata
information gain
computer vision
formal language theory
real time
lattice gas
finite automaton
finite state automata
evolutionary algorithm
wide range
three dimensional
feature selection
data mining
neural network