On one method of specifying controlling automata