Synchronizing random automata on a 4-letter alphabet. - Zaks, Yu.; Skvortsov, E. (Journal of Mathematical Sciences, 2013)