Формализация задачи построения и оптимизации программных движении роботов