Рекурсивная функция (теория вычислимости): различия между версиями
[непроверенная версия] | [непроверенная версия] |
Содержимое удалено Содержимое добавлено
text mistake fix |
|||
Строка 9:
Множество частично рекурсивных функций включает в себя множество общерекурсивных функций, а общерекурсивные функции включают в себя примитивно рекурсивные функции. Частично рекурсивные функции иногда называют просто рекурсивными функциями.
<nowiki>== Примитивно рекурсивная функция ==</nowiki><!-- используется для перенаправления [[Примитивно рекурсивная функция]]-->▼
▲<!-- используется для перенаправления [[Примитивно рекурсивная функция]]-->
=== Определение ===
Определение понятия '''примитивно рекурсивной функции''' является [[Математическая индукция|индуктивным]]. Оно состоит из указания класса базовых примитивно рекурсивных функций и двух операторов (''суперпозиции'' и ''примитивной рекурсии''), позволяющих строить новые примитивно рекурсивные функции на основе уже имеющихся.
|