Дьяченко В. Ф., Лазарев В. Г., Пийль Е. И. К синтезу алгоритмов функционирования машин-автоматов