Выберите верное утверждение.
- Базисные функции, используемые при определении частично-рекурсивных функций, являются всюду определенными.
- Все алгоритмические способы получения новых частично-рекурсивных функций из уже известных всюду определенных частично-рекурсивных функций никогда не приведут к частичной функции.
- Оператор максимизации – единственный способ получения частично определенных функций из всюду определенных.
К сожалению, у нас пока нет статистики ответов на данный вопрос,
но мы работаем над этим.