Road coloring problem Trahtman A.N. Bar-Ilan university Complete deterministic directed finite automaton with transition graph For edge q p suppose.