Simple code to deal with synchronizing automata.