Формальные исполнители системы КуМир - Исполнитель Робот