Частично рекурсивные функции — различия между версиями

Материал из Викиконспекты
Перейти к: навигация, поиск
м (rollbackEdits.php mass rollback)
 
Строка 1: Строка 1:
{| class="wikitable" align="center" style="color: red; background-color: black; font-size: 56px; width: 800px;"
 
|+
 
|-align="center"
 
|'''НЕТ ВОЙНЕ'''
 
|-style="font-size: 16px;"
 
|
 
24 февраля 2022 года российское руководство во главе с Владимиром Путиным развязало агрессивную войну против Украины. В глазах всего мира это военное преступление совершено от лица всей страны, всех россиян.
 
 
Будучи гражданами Российской Федерации, мы против своей воли оказались ответственными за нарушение международного права, военное вторжение и массовую гибель людей. Чудовищность совершенного преступления не оставляет возможности промолчать или ограничиться пассивным несогласием.
 
 
Мы убеждены в абсолютной ценности человеческой жизни, в незыблемости прав и свобод личности. Режим Путина — угроза этим ценностям. Наша задача — обьединить все силы для сопротивления ей.
 
 
Эту войну начали не россияне, а обезумевший диктатор. И наш гражданский долг — сделать всё, чтобы её остановить.
 
 
''Антивоенный комитет России''
 
|-style="font-size: 16px;"
 
|Распространяйте правду о текущих событиях, оберегайте от пропаганды своих друзей и близких. Изменение общественного восприятия войны - ключ к её завершению.
 
|-style="font-size: 16px;"
 
|[https://meduza.io/ meduza.io], [https://www.youtube.com/c/popularpolitics/videos Популярная политика], [https://novayagazeta.ru/ Новая газета], [https://zona.media/ zona.media], [https://www.youtube.com/c/MackNack/videos Майкл Наки].
 
|}
 
 
 
== Основные определения ==
 
== Основные определения ==
 
{{Определение
 
{{Определение

Текущая версия на 19:10, 4 сентября 2022

Основные определения

Определение:
Частично рекурсивными (англ. partial recursive) называют функции, которые можно получить с помощью правил минимизации, подстановки и рекурсии из константной функции [math] \textbf 0 [/math], функции [math] I(x) = x + 1, [/math] и набора функций [math] P_{n,k}(x_1,\ldots,x_n) = x_k,[/math] где [math] k \leqslant n [/math].

Заметим что частично рекурсивная функция может быть не определена для некоторых значений аргументов.


Определение:
Общерекурсивными (англ. general recursive) называют всюду определенные частично рекурсивные функции.

Любая примитивно рекурсивная функция является общерекурсивной. Поэтому и для частично рекурсивных функций можно считать что у них в качестве аргумента и результата могут быть списки из натуральных чисел.

Вычислимые и частично рекурсивные функции

Теорема:
Множества вычислимых и частично рекурсивных функций совпадают.
Доказательство:
[math]\triangleright[/math]

Программа вычисляющая частично рекурсивную функцию легко пишется на любом языке программирования. Поэтому нам достаточно показать что любая вычислимая функция примитивно рекурсивная. Функции [math] IN [/math], [math] OUT [/math], [math] N [/math], и как представляется состояние машины Тюринга описано в доказательстве теоремы о примитивной рекурсивности вычислимых функций. Функция [math] \mathrm{T([L,R,S,C])}[/math] возвращает минимальное число шагов за которое программа вычисляющая нашу функцию попадет в состояние [math] \mathrm{Accepted} [/math]. Покажем что она частично рекурсивная. [math] \mathrm{T([L,R,S,C]) = \mu t (p_2(N([L,R,S,C],t)) = Accepted)} [/math], где [math] p_i [/math] — взятие [math]i[/math]-того элемента списка. Операции сравнения здесь реализованы также как и примитивно рекурсивных функциях,но если равенство выполняется то функция проверки на равенство возвращает [math] 0 [/math], иначе [math] 1 [/math].

В итоге [math] \mathrm{F(args) = OUT(N(IN(args), T(IN(args)))} [/math] — частично рекурсивная функция.
[math]\triangleleft[/math]

Из этой теоремы и неразрешимости языка программ завершающихся при любом входе, следует алгоритмическая неразрешимость проврк,и частично рекурсивной функции на общерекурсивность.

Связь между общерекурсивными и примитивно рекурсивными функциями

Теорема:
Существует общерекурсивная функция которая не является примитивно рекурсивной.
Доказательство:
[math]\triangleright[/math]

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

Множество описаний одноместных примитивно рекурсивных функций разрешимо, значит все описания можно занумеровать (описания могут содержать и [math] n [/math] местные функции в качестве промежуточных). По описанию примитивно рекурсивной функции и значением аргумента ее можно вычислить передав функцию вместе с аргументом в соответствующий интерпретатор.

Определим функцию [math] U(n,x) [/math] равную значению функции полученной из [math] n [/math]-того описания, в точке [math] x [/math]. В силу всюду определенности примитивно рекурсивных функций [math] U(n,x) [/math] — вычислимая всюду определенная функция, а значит по предыдущей теореме общерекурсивная. [math] d(n) = U(n,n)+1 [/math] тоже общерекурсивная функция, но она отличается от каждой одноместной примитивно рекурсивной функциии.
[math]\triangleleft[/math]

См. также

Источники информации