Automata (Colored)