added ref to wikipedia page on synchronizing automata