Определение и функции формального исполнителя в информатике