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

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