Рекурсивная функция (теория вычислимости): различия между версиями

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