Keyword: automata models of Markov’s functions