Формальный исполнитель в информатике