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