OP-00507 Open The Černý synchronizing-automaton conjecture CO · AIM Open Applied Problems · Černý conjecture · reset words · synchronizing automata