Программирование информационно-управляющих систем на основе конечных автоматов