Finite state automata in the theory of algebraic program schemata - R. I. Podlovchenko (Труды Института системного программирования РАН, 2018)