On a class of high-level finite-state automata. - R. A. Vinogradov; Valery A. Sokolov (Autom. Control. Comput. Sci., 2010)