Mediating for reduction (on minimizing alternating Büchi automata).

Parosh Aziz Abdulla Yu-Fang Chen Lukás Holík Tomás Vojnar

Published in: Theor. Comput. Sci. (2014)

Keyphrases

cellular automata
finite automata
real time
image segmentation
information gain
databases
finite state machines
reduction method
finite state automata