Büchi Automata Can Have Smaller Quotients.

Lorenzo Clemente

Published in: ICALP (2) (2011)

Keyphrases

cellular automata
finite automata
regular expressions
probabilistic automata
data sets
artificial intelligence
timed automata
databases
multimedia
similarity measure
digital libraries
state space
finite state automata
formal language theory