Инструкция к формальному исполнителю, также известному как спецификация или описание, должна содержать следующую информацию:
1. **Входные данные**: Инструкция должна указывать, какие входные данные требуются для работы формального исполнителя. Это может быть список параметров, файлов или других источников данных, необходимых для выполнения задачи.
2. **Выходные данные**: Инструкция должна определить ожидаемый результат или выходные данные, которые формальный исполнитель должен произвести после выполнения задачи. Это может быть конкретный ответ, файл, отчет или другой формат выходных данных.
3. **Алгоритмические шаги**: Инструкция должна содержать последовательность шагов или алгоритмическую логику, которую формальный исполнитель должен выполнить для достижения требуемого результата. Шаги должны быть ясно описаны и последовательными, чтобы формальный исполнитель мог легко следовать инструкции.
4. **Ограничения и предусловия**: Инструкция может указывать ограничения или предусловия, которые должны быть выполнены перед выполнением задачи формальным исполнителем. Например, это может быть проверка на наличие определенных ресурсов, условий или требований для успешного выполнения задачи.
5. **Примеры**: Инструкция может содержать примеры входных данных и соответствующих ожидаемых выходных данных для помощи формальному исполнителю в понимании и проверке правильности его работы.
6. **Дополнительные рекомендации**: Инструкция может включать дополнительные рекомендации, советы или предложения по использованию формального исполнителя для достижения наилучших результатов или избегания ошибок.
Общая цель инструкции к формальному исполнителю - предоставить полное и понятное описание задачи и способа ее выполнения формальному исполнителю. Это помогает обеспечить консистентность и точность работы исполнителя и упрощает коммуникацию между разработчиками и пользователями.