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

Материал из Викиконспекты
Перейти к: навигация, поиск
(Примитивно рекурсивные функции)
м (rollbackEdits.php mass rollback)
 
(не показано 86 промежуточных версий 7 участников)
Строка 4: Строка 4:
  
 
== Рекурсивные функции ==
 
== Рекурсивные функции ==
 
+
===Строительные блоки рекурсивных функций===
 
Рассмотрим примитивы, из которых будем собирать выражения:
 
Рассмотрим примитивы, из которых будем собирать выражения:
 
<ol>
 
<ol>
Строка 11: Строка 11:
 
<tex>\mathbb{N} \rightarrow \mathbb{N}</tex>, <tex>\mathrm{Z}(x) = 0</tex>
 
<tex>\mathbb{N} \rightarrow \mathbb{N}</tex>, <tex>\mathrm{Z}(x) = 0</tex>
  
<li> <tex>\mathrm{N}</tex> {{---}} функция следования. </li>  
+
<li> <tex>\mathrm{N}</tex> {{---}} инкремент. </li>  
  
 
<tex>\mathbb{N} \rightarrow \mathbb{N}</tex>, <tex>\mathrm{N}(x) = x'</tex>, где <tex>x' = x + 1</tex>.
 
<tex>\mathbb{N} \rightarrow \mathbb{N}</tex>, <tex>\mathrm{N}(x) = x'</tex>, где <tex>x' = x + 1</tex>.
  
<li> <tex>\mathrm{U^n_i}</tex> {{---}} проекция.</li>
+
<li> <tex>\mathrm{U^n_i}</tex> {{---}} проекция (<tex>i</tex>-ый аргумент среди <tex>n</tex>).</li>
  
<tex>\mathrm{U^n_i}: \mathbb{N}^{n} \rightarrow \mathbb{N}</tex>, <tex>\mathrm{U^n_i} (x_1, ... x_n) = x_i</tex>
+
<tex>\mathrm{U^n_i}: \mathbb{N}^{n} \rightarrow \mathbb{N}</tex>, <tex>\mathrm{U^n_i} (x_1, \ldots, x_n) = x_i</tex>
 
   
 
   
<li> <tex>\mathrm{S}</tex>{{---}} подстановка.</li>  
+
<li> <tex>\mathrm{S}</tex>{{---}}подстановка.</li>  
  
Если <tex>\mathrm{f}: \mathbb{N}^{n} \rightarrow \mathbb{N}</tex> и <tex>\mathrm{g_1}, ... \mathrm{g_n}: \mathbb{N}^{m} \rightarrow \mathbb{N}</tex>, то <tex>\mathrm{S}\langle{}\mathrm{f},\mathrm{g_1},...\mathrm{g_n}\rangle: \mathbb{N}^{m} \rightarrow \mathbb{N}</tex>. При этом <tex>\mathrm{S}\langle{}\mathrm{f},\mathrm{g_1},...\mathrm{g_n}\rangle (x_1,...x_m) = \mathrm{f}(\mathrm{g_1}(x_1,...x_m), ... \mathrm{g_n}(x_1,...x_m))</tex>
+
Если <tex>\mathrm{f}: \mathbb{N}^{n} \rightarrow \mathbb{N}</tex> и <tex>\mathrm{g_1}, \ldots, \mathrm{g_n}: \mathbb{N}^{m} \rightarrow \mathbb{N}</tex>, то <tex>\mathrm{S}\langle{}\mathrm{f},\mathrm{g_1}, \ldots, \mathrm{g_n}\rangle: \mathbb{N}^{m} \rightarrow \mathbb{N}</tex>. При этом <tex>\mathrm{S}\langle{}\mathrm{f},\mathrm{g_1}, \ldots, \mathrm{g_n}\rangle (x_1, \ldots, x_m) = \mathrm{f}(\mathrm{g_1}(x_1, \ldots, x_m), \ldots \mathrm{g_n}(x_1, \ldots, x_m))</tex>
  
 
<li> <tex>\mathrm{R}</tex> {{---}} примитивная рекурсия.</li>  
 
<li> <tex>\mathrm{R}</tex> {{---}} примитивная рекурсия.</li>  
  
Если <tex>\mathrm{f}: \mathbb{N}^{n} \rightarrow \mathbb{N}</tex> и <tex>\mathrm{g}:\mathbb{N}^{n+2} \rightarrow \mathbb{N}</tex>, то <tex>\mathrm{R}\langle{}\mathrm{f},\mathrm{g}\rangle: \mathbb{N}^{n+1} \rightarrow \mathbb{N}</tex>, при этом <tex>\mathrm{R}\langle{}\mathrm{f},\mathrm{g}\rangle (x_1,...x_n,y) = \left\{\begin{array}{ll}
+
Если <tex>\mathrm{f}: \mathbb{N}^{n} \rightarrow \mathbb{N}</tex> и <tex>\mathrm{g}:\mathbb{N}^{n+2} \rightarrow \mathbb{N}</tex>, то <tex>\mathrm{R}\langle{}\mathrm{f},\mathrm{g}\rangle: \mathbb{N}^{n+1} \rightarrow \mathbb{N}</tex>, при этом <tex>\mathrm{R}\langle{}\mathrm{f},\mathrm{g}\rangle (x_1, \ldots, x_n,y) = \left\{\begin{array}{ll}
     \mathrm{f}(x_1,...x_n) & , y = 0\\
+
     \mathrm{f}(x_1, \ldots, x_n) & y = 0\\
     \mathrm{g}(x_1,...x_n,y-1,\mathrm{R}\langle{}\mathrm{f},\mathrm{g}\rangle(x_1,...x_n,y-1)) &, y > 0
+
     \mathrm{g}(x_1, \ldots, x_n,y-1,\mathrm{R}\langle{}\mathrm{f},\mathrm{g}\rangle(x_1, \ldots, x_n,y-1)) & y > 0
 
   \end{array}\right.</tex>
 
   \end{array}\right.</tex>
  
 
<li> <tex>\mu</tex> {{---}} минимизация.</li>  
 
<li> <tex>\mu</tex> {{---}} минимизация.</li>  
  
Если <tex>\mathrm{f}: \mathbb{N}^{n+1} \rightarrow \mathbb{N}</tex>, то <tex>\mu \langle{}\mathrm{f}\rangle: \mathbb{N}^{n} \rightarrow \mathbb{N}</tex>, при этом <tex>\mu \langle{}\mathrm{f}\rangle (x_1,...x_n)</tex> &mdash; такое минимальное число <tex>y</tex>, что <tex>\mathrm{f}(x_1,...x_n,y) = 0</tex>. Если такого <tex>y</tex> нет, результат данного примитива неопределен.
+
Если <tex>\mathrm{f}: \mathbb{N}^{n+1} \rightarrow \mathbb{N}</tex>, то <tex>\mu \langle{}\mathrm{f}\rangle: \mathbb{N}^{n} \rightarrow \mathbb{N}</tex>, при этом <tex>\mu \langle{}\mathrm{f}\rangle (x_1, \ldots, x_n)</tex> &mdash; такое минимальное число <tex>y</tex>, что <tex>\mathrm{f}(x_1, \ldots, x_n,y) = 0</tex>. Если такого <tex>y</tex> нет, результат данного примитива неопределен.
 
</ol>
 
</ol>
 
{{Определение
 
{{Определение
 
|definition=
 
|definition=
Если некоторая функция <tex>\mathbb{N}^{n} \rightarrow \mathbb{N}</tex> может быть задана с помощью данных примитивов(англ. ''primitive''), то она называется '''рекурсивной'''(англ. ''recursive'').  
+
Если некоторая функция <tex>\mathbb{N}^{n} \rightarrow \mathbb{N}</tex> может быть задана с помощью данных примитивов(англ. ''primitive''), то она называется '''рекурсивной''' (англ. ''recursive'').  
 
}}
 
}}
  
Строка 43: Строка 43:
 
{{Определение
 
{{Определение
 
|definition=
 
|definition=
'''Примитивно рекурсивными''' называют функции, которые можно получить с помощью правил, описанных выше, рекурсии из константной функции <tex> \textbf 0 </tex> и набора функций <tex> \mathrm{P_{n,k}}(x_1,\ldots,x_n) = x_k,</tex> где <tex> k \leqslant n </tex>.
+
'''Примитивно рекурсивными''' (англ. ''Primitively recursive'') называют функции, которые можно получить с помощью правил <tex>1</tex>{{---}}<tex>5</tex>.
  
 
}}
 
}}
Заметим, что если <tex> \mathrm{f} </tex> {{---}} <tex>n</tex>-местная примитивно рекурсивная функция, то она определена на всем множестве <tex> \mathbb{N}^{n}  </tex>, так как <tex> \mathrm{f} </tex> получается путем правил преобразования из всюду определенных функций, и правила преобразования не портят всюду определенность. Говоря неформальным языком, рекурсивные функции напоминают программы, у которых при любых входных данных все циклы и рекурсий завершатся за конечное время.  
+
Заметим, что если <tex> \mathrm{f} </tex> {{---}} <tex>n</tex>-местная примитивно рекурсивная функция, то она определена на всем множестве <tex> \mathbb{N}^{n}  </tex>, так как <tex> \mathrm{f} </tex> получается путем правил преобразования из всюду определенных функций, и правила преобразования не портят всюду определенность. Говоря неформальным языком, рекурсивные функции напоминают программы, у которых при любых входных данных все циклы и рекурсий завершатся за конечное время. Если же говорить формально, то это свойство рекурсивных функций называется тотальностью.
 +
{{Определение
 +
|definition=
 +
'''Тотальность''' (англ. ''Total Function'') {{---}} функция, определенная для всех возможных входных данных.
 +
}}
  
 
Благодаря проекторам мы можем делать следующие преобразования:
 
Благодаря проекторам мы можем делать следующие преобразования:
 
*В рекурсии не обязательно вести индукцию по последнему аргументу. Следует из того что мы можем с помощью проекторов поставить требуемый аргумент на последнее место.
 
*В рекурсии не обязательно вести индукцию по последнему аргументу. Следует из того что мы можем с помощью проекторов поставить требуемый аргумент на последнее место.
В дальнейшем вместо <tex> \mathrm{P_{n,k}}(x_1,\ldots,x_k) </tex> будем писать просто <tex> x_k </tex>, подразумевая требуемое нам <tex> n </tex>.
+
*В правиле подстановки можно использовать функции с разным числом аргументов. Например, подстановка <tex> \mathrm{F}(x,y) =\mathrm{f}(\mathrm{g}(y),\mathrm{h}(x,x,y)) </tex> эквивалентна <tex> \mathrm{F}(x,y,z) = \mathrm{f}(\mathrm{g}(\mathrm{U^2_2}(x,y)),\mathrm{h}(\mathrm{U^2_1}(x,y),\mathrm{U^2_1}(x,y),\mathrm{U^2_2}(x,y))) </tex>, но если <tex> \mathrm{F} </tex> не константная функция то все подставляемые функции должны иметь хотя бы один аргумент.
  
==== Арифметические операции на примитивно рекурсивных функциях ====
+
== Арифметические операции на примитивно рекурсивных функциях ==
  
===== '''n'''-местный ноль =====
+
==== '''n'''-местный ноль ====
 
<tex> \textbf 0 </tex> {{---}} функция нуля аргументов.
 
<tex> \textbf 0 </tex> {{---}} функция нуля аргументов.
  
Выразим сначала <tex> \textbf 0^1 </tex>
+
<tex> \textbf 0^{1}(y) = \mathrm{Z}(y) </tex>
  
<tex> \textbf 0^{1}(0) = \textbf 0 </tex>
+
<tex> \textbf 0^{n}(x_1,\ldots,x_{n-1},y) = \mathrm{Z}(y) </tex>
  
<tex> \textbf 0^{1}(y+1) = \mathrm{h}(y,\textbf 0^{1}(y)) </tex>, где <tex> \mathrm{h}(x,y) = y </tex>
+
Теперь вместо функции <tex>\mathrm{Z}(x)</tex> будем использовать константу <tex>\textbf 0</tex>, обозначив ее как <tex>\mathrm{Z}(x)</tex>.
  
Теперь выразим <tex> \textbf 0^n </tex>
+
====Константа <tex> \textbf M </tex>====
  
<tex> \textbf 0^{n}(x_1,\ldots,x_{n-1},0) = \textbf 0^{n-1} </tex>
+
<tex> \textbf M(x) = \underbrace{\mathrm{N}(\ldots (\mathrm{N}}_{ \text{M раз} }(\mathrm{Z}(x))))</tex>
  
<tex> \textbf 0^{n}(x_1,\ldots,x_{n-1},y+1) = \mathrm{h}(x_1,\ldots,x_{n-1},\textbf 0^{n}(y)) </tex>, где <tex> \mathrm{h}(x_1,\ldots, x_n,y) = y </tex>
+
<tex> \textbf M^n </tex> {{---}} <tex>n</tex>-местная константа, получается аналогичным к <tex> \textbf 0^n </tex> образом.
  
=====Константа <tex> \textbf M </tex>=====
+
==== Сложение ====
   
+
<tex> \mathrm{sum}(x, y) = \mathrm{R}\langle{}\mathrm{f},\mathrm{g}\rangle(x,y)</tex>, где
Константа <tex> \textbf M </tex> равна <tex> \mathrm{N}(\textbf{M-1}) </tex>
+
 
 +
<tex> \mathrm{f}(x) = x </tex>
 +
 
 +
<tex> \mathrm{g}(x, y, z) = \mathrm{N}(z) </tex>
 +
 
 +
 
 +
<tex> \mathrm{R}\langle{}\mathrm{f},\mathrm{g}\rangle (x,y) =   \left\{\begin{array}{ll}
 +
    \mathrm{f}(x) & y = 0\\ 
 +
    \mathrm{g}(x, y-1,\mathrm{R}\langle{}\mathrm{f},\mathrm{g}\rangle(x, y-1)) & y > 0
 +
\end{array}\right.</tex>
 +
 
 +
<tex>=\left\{\begin{array} {ll}
 +
    x & y = 0\\  
 +
    \mathrm{N}(\mathrm{R} \langle{}\mathrm{f},\mathrm{g}\rangle(x, y-1)) & y > 0
 +
    \end{array}\right.</tex>
 +
 
 +
<tex>=\left\{\begin{array} {ll}
 +
    x & y = 0\\ 
 +
    \mathrm{N}(\mathrm{sum}(x, y-1)) & y > 0
 +
    \end{array}\right. </tex>
  
<tex> \textbf M^n </tex> {{---}} <tex>n</tex>-местная константа, получается аналогичным к <tex> \textbf 0^n </tex>  образом.
+
Можно преобразовать в более простой вид.
  
===== Сложение =====
 
 
<tex> \mathrm{sum}(x,0) = x </tex>
 
<tex> \mathrm{sum}(x,0) = x </tex>
  
<tex> \mathrm{sum}(x,y+1) = \mathrm{h}(x,y,\mathrm{sum}(x,y)) </tex> , где <tex> \mathrm{h}(x,y,z)=\mathrm{N}(z) </tex>
+
<tex> \mathrm{sum}(x,y) = \mathrm{N} (\mathrm{sum}(x,y-1)) </tex>
  
===== Умножения =====
+
==== Умножения ====
<tex> \mathrm{prod}(x,0) = \textbf 0^1(x) </tex>
+
<tex> \mathrm{prod}(x,0) = \mathrm{Z}(x) </tex>
  
<tex> \mathrm{prod}(x,y+1) = \mathrm{h}(x,y,\mathrm{prod}(x,y)) </tex>, где <tex> \mathrm{h}(x,y,z)=\mathrm{sum}(x,z) </tex>
+
<tex> \mathrm{prod}(x,y) = \mathrm{sum}(x,\mathrm{prod}(x,y-1)) </tex>
  
===== Вычитания =====
+
==== Вычитания ====
Если <tex> x < y </tex>, то <tex> \mathrm{sub}(x,y) = 0 </tex> , иначе <tex> \mathrm{sub}(x,y) = x - y </tex>.
+
Если <tex> x \leqslant y </tex>, то <tex> \mathrm{sub}(x,y) = 0 </tex> , иначе <tex> \mathrm{sub}(x,y) = x - y </tex>.
  
 
Рассмотрим сначала вычитания единицы <tex> \mathrm{sub_{1}}(x) = x - 1 </tex>  
 
Рассмотрим сначала вычитания единицы <tex> \mathrm{sub_{1}}(x) = x - 1 </tex>  
  
<tex> \mathrm{sub_1}(0) = \textbf 0 </tex>
+
<tex> \mathrm{sub_1}(0) = \mathrm{Z}(0) </tex>
  
<tex> \mathrm{sub_1}(x+1) = \mathrm{h}(x,\mathrm{sub_1}(x)) </tex>, где <tex> \mathrm{h}(x,y) = x </tex>
+
<tex> \mathrm{sub_1}(x+1) = x </tex>
  
 
Теперь рассмотрим <tex> \mathrm{sub}(x,y) </tex>
 
Теперь рассмотрим <tex> \mathrm{sub}(x,y) </tex>
Строка 98: Строка 120:
 
<tex> \mathrm{sub}(x,0) = x </tex>
 
<tex> \mathrm{sub}(x,0) = x </tex>
  
<tex> \mathrm{sub}(x,y+1) = \mathrm{h}(x,y,\mathrm{sub}(x,y)) </tex>, где <tex>  \mathrm{h}(x,y,z) =\mathrm{sub_1}(z) </tex>
+
<tex> \mathrm{sub}(x,y) = \mathrm{sub_1}(\mathrm{sub}(x,y-1)) </tex>
  
===== Операции сравнения =====
+
==== Операции сравнения ====
 
<tex> \mathrm{eq}(x,y) = 1 </tex> если <tex> x = y </tex>, иначе <tex> \mathrm{eq}(x,y) = 0 </tex>
 
<tex> \mathrm{eq}(x,y) = 1 </tex> если <tex> x = y </tex>, иначе <tex> \mathrm{eq}(x,y) = 0 </tex>
  
Строка 111: Строка 133:
 
<tex> \mathrm{eq_0}(0) =\mathrm{N}(0) </tex>
 
<tex> \mathrm{eq_0}(0) =\mathrm{N}(0) </tex>
  
<tex> \mathrm{eq_0}(y+1) = \mathrm{h}(y,\mathrm{eq}(y)) </tex> , где <tex> \mathrm{h}(y,\mathrm{eq}(y)) = \textbf 0^2(x,y) </tex>
+
<tex> \mathrm{eq_0}(y) = \mathrm{h}(y-1,\mathrm{eq}(y-1)) </tex> , где <tex> \mathrm{h}(y-1,\mathrm{eq}(y-1)) = \mathrm{Z}(x,y-1) </tex>
  
 
Теперь все остальные функции
 
Теперь все остальные функции
Строка 121: Строка 143:
 
<tex> \mathrm{lower}(x,y) = \mathrm{mul}(\mathrm{le}(x,y),\mathrm{le}(\mathrm{N}(x),y)) </tex>
 
<tex> \mathrm{lower}(x,y) = \mathrm{mul}(\mathrm{le}(x,y),\mathrm{le}(\mathrm{N}(x),y)) </tex>
  
===== IF =====  
+
==== Условный оператор ====
 
<tex> \mathrm{if}(0,x,y) = y </tex>
 
<tex> \mathrm{if}(0,x,y) = y </tex>
  
<tex> \mathrm{if}(c+1,x,y) = \mathrm{h}(c,x,y,\mathrm{if}(c,x,y)) </tex> , где <tex> \mathrm{h}(c,x,y,d) = x </tex>
+
<tex> \mathrm{if}(c,x,y) = x </tex>
  
===== Деление =====  
+
==== Деление ====
<tex> \mathrm{divide}(x,y) = \lfloor \dfrac{x}{y} \rfloor </tex>, если <tex> y > 0 </tex>. Если же <tex> y = 0 </tex>, то <tex> \mathrm{divide}(x,0) </tex> и все связанные с делением функции равны каким то ,не интересными для нас, числами.
+
<tex> \mathrm{divide}(x,y) = \Bigl \lfloor \dfrac{x}{y} \Bigr \rfloor </tex>, если <tex> y > 0 </tex>. Если же <tex> y = 0 </tex>, то значение функции нас не интересует, и можно определить её как угодно.
  
 
Сначала определим <tex> \mathrm{divmax}(x,y) </tex> {{---}} функция равна максимальному числу меньшему или равному <tex> x</tex>, которое нацело делится на <tex> y </tex>.  
 
Сначала определим <tex> \mathrm{divmax}(x,y) </tex> {{---}} функция равна максимальному числу меньшему или равному <tex> x</tex>, которое нацело делится на <tex> y </tex>.  
  
<tex> \mathrm{divmax}(0,y) =\textbf 0^{1} </tex>
+
<tex> \mathrm{divmax}(0,y) =\mathrm{Z}(y) </tex>
  
<tex> \mathrm{divmax}(x+1,y) = \mathrm{h}(x,y,\mathrm{divmax}(x,y)) </tex>,
+
<tex>\mathrm{divmax}(x,y) =\mathrm{if}(\mathrm{eq}(\mathrm{sub}(\mathrm{N}(x-1),\mathrm{divmax}(x-1,y)),y),</tex><tex>\mathrm{N}(x-1),\mathrm{divmax}(x-1,y))</tex>
где <tex> \mathrm{h}(x,y,z) = \mathrm{if}(\mathrm{eq}(\mathrm{sub}(\mathrm{N}(x),z),y),\mathrm{N}(x),z) </tex>,  
 
 
 
или не формально если <tex> x+1 - y = z </tex> то <tex> \mathrm{h}(x,y,z) = x+1  </tex>, иначе <tex> \mathrm{h}(x,y,z) = z </tex>
 
  
 
Теперь само деления  
 
Теперь само деления  
  
<tex> \mathrm{divide}(0,y) =\textbf 0^{1} </tex>
+
<tex> \mathrm{divide}(0,y) = \mathrm{Z}(y) </tex>
  
 
<tex> \mathrm{divide}(x,y) = \mathrm{h}(x,y,\mathrm{divide}(x,y)) </tex>, где <tex> \mathrm{h}(x,y,z) = \mathrm{sum}(z,\mathrm{eq}(\mathrm{N}(x),\mathrm{divmax}(\mathrm{N}(x),y))) </tex>
 
<tex> \mathrm{divide}(x,y) = \mathrm{h}(x,y,\mathrm{divide}(x,y)) </tex>, где <tex> \mathrm{h}(x,y,z) = \mathrm{sum}(z,\mathrm{eq}(\mathrm{N}(x),\mathrm{divmax}(\mathrm{N}(x),y))) </tex>
 
или не формально если <tex> x+1~\vdots~y </tex>, то <tex> \mathrm{h}(x,y,z) = z+1  </tex>, иначе <tex> \mathrm{h}(x,y,z) = z </tex>
 
  
 
Остаток от деления выражается так:
 
Остаток от деления выражается так:
Строка 150: Строка 167:
 
<tex> \mathrm{mod}(x,y) = \mathrm{sub}(x,\mathrm{mul}(y,\mathrm{divide}(x,y))) </tex>
 
<tex> \mathrm{mod}(x,y) = \mathrm{sub}(x,\mathrm{mul}(y,\mathrm{divide}(x,y))) </tex>
  
===== Работа со списками фиксированной длины =====
+
==== Работа со списками фиксированной длины ====
С помощью описанных выше арифметических операций можно выразить проверку на простоту числа и поиск <tex> n </tex> - ого простого числа.
+
С помощью описанных выше арифметических операций можно выразить проверку на простоту числа и поиск <tex> n </tex>-ого простого числа.
Рассмотрим список из натуральны чисел <tex> [x_1,\ldots,x_n] </tex>, тогда ему в соответствия можно поставить число <tex> p_1^{x_1+1} \cdot p_2^{x_2+1} \cdot \ldots \cdot p_n^{x_n+1} </tex>, где <tex> p_i - i</tex>-тое простое число. Как видно из представления,создания списка, взятие <tex> i </tex> - того
+
Рассмотрим список из натуральны чисел <tex> [x_1,\ldots,x_n] </tex>, тогда ему в соответствия можно поставить число <tex> p_1^{x_1+1} \cdot p_2^{x_2+1} \cdot \ldots \cdot p_n^{x_n+1} </tex>, где <tex>p_i</tex> {{---}} <tex>i</tex>-тое простое число. Как видно из представления,создания списка, взятие <tex> i </tex> - того
 
элемента и остальные операции являются простыми арифметическими операциями, а следовательно примитивно рекурсивными. Поэтому будем считать что у примитивно рекурсивной функций аргументы и результат могут быть списками из натуральных чисел.
 
элемента и остальные операции являются простыми арифметическими операциями, а следовательно примитивно рекурсивными. Поэтому будем считать что у примитивно рекурсивной функций аргументы и результат могут быть списками из натуральных чисел.
  
==== Теорема о примитивной рекурсивности вычислимых функций ====
+
==Теоремы==
 +
===Теорема о примитивной рекурсивности вычислимых функций ===
 
{{Теорема
 
{{Теорема
 
|statement= Если для  [[Вычислимые функции|вычислимой функции]] <tex> \mathrm{F} </tex> существует примитивно рекурсивная функция <tex> \mathrm{T} </tex>, такая что для любых аргументов <tex> args </tex> максимальное количество шагов, за которое будет посчитана <tex> \mathrm{F}(x) </tex>  на [[Машина Тьюринга|МТ]] равно  <tex> \mathrm{T}(args) </tex>, то <tex> \mathrm{F} </tex>  примитивно рекурсивная функция.  
 
|statement= Если для  [[Вычислимые функции|вычислимой функции]] <tex> \mathrm{F} </tex> существует примитивно рекурсивная функция <tex> \mathrm{T} </tex>, такая что для любых аргументов <tex> args </tex> максимальное количество шагов, за которое будет посчитана <tex> \mathrm{F}(x) </tex>  на [[Машина Тьюринга|МТ]] равно  <tex> \mathrm{T}(args) </tex>, то <tex> \mathrm{F} </tex>  примитивно рекурсивная функция.  
Строка 161: Строка 179:
 
Каждому состоянию [[Машина Тьюринга|МТ]] поставим в соответствие список из четырех чисел <tex> [L,R,S,C] </tex>, где:
 
Каждому состоянию [[Машина Тьюринга|МТ]] поставим в соответствие список из четырех чисел <tex> [L,R,S,C] </tex>, где:
  
<tex> L </tex> {{---}} состояние [[Машина Тьюринга|МТ]] слева от головки ленты, представлено в виде числа в системы счисления с основанием равным алфавиту [[Машина Тьюринга|МТ]]. Младшие разряды находятся возле головки. Пробелу соответствует ноль, чтобы число было конечным.
+
*<tex> L </tex> {{---}} состояние [[Машина Тьюринга|МТ]] слева от головки ленты, представлено в виде числа в системы счисления с основанием равным алфавиту [[Машина Тьюринга|МТ]]. Младшие разряды находятся возле головки. Пробелу соответствует ноль, чтобы число было конечным.
  
<tex> R </tex> {{---}} состояние [[Машина Тьюринга|МТ]] справа от головки, представлено аналогично <tex> L </tex> только возле головки [[Машина Тьюринга|МТ]] находятся старшие разряды.   
+
*<tex> R </tex> {{---}} состояние [[Машина Тьюринга|МТ]] справа от головки, представлено аналогично <tex> L </tex> только возле головки [[Машина Тьюринга|МТ]] находятся старшие разряды.   
  
<tex> S </tex> {{---}} номер текущего состояния
+
*<tex> S </tex> {{---}} номер текущего состояния.
  
<tex> C </tex> {{---}} символ на который указывает головка ленты.
+
*<tex> C </tex> {{---}} символ на который указывает головка ленты.
  
 
Тогда всем переходам соответствует функция <tex> \mathrm{f}([L,R,S,C]) </tex> принимающая состояние [[Машина Тьюринга|МТ]] и возвращающая новое состояние.
 
Тогда всем переходам соответствует функция <tex> \mathrm{f}([L,R,S,C]) </tex> принимающая состояние [[Машина Тьюринга|МТ]] и возвращающая новое состояние.
Строка 183: Строка 201:
 
Вместо <tex> t </tex> подставим <tex> \mathrm{T}(args) </tex> и в итоге получим что <tex> \mathrm{F}(args) = \mathrm{OUT}(\mathrm{N}(\mathrm{IN}(args),\mathrm{T}(args))) </tex> {{---}} примитивно рекурсивная функция.     
 
Вместо <tex> t </tex> подставим <tex> \mathrm{T}(args) </tex> и в итоге получим что <tex> \mathrm{F}(args) = \mathrm{OUT}(\mathrm{N}(\mathrm{IN}(args),\mathrm{T}(args))) </tex> {{---}} примитивно рекурсивная функция.     
 
}}
 
}}
 
==Источники информации ==
 
* Н. К. Верещагин, А. Шень. [http://www.mccme.ru/free-books/shen/shen-logic-part3-2.pdf Лекции по математической логике и теории алгоритмов. Часть 3. Вычислимые функции. 4-е изд., испр., М.: МЦНМО, 2012]
 
*[http://ru.wikipedia.org/wiki/%D0%A0%D0%B5%D0%BA%D1%83%D1%80%D1%81%D0%B8%D0%B2%D0%BD%D0%B0%D1%8F_%D1%84%D1%83%D0%BD%D0%BA%D1%86%D0%B8%D1%8F_(%D1%82%D0%B5%D0%BE%D1%80%D0%B8%D1%8F_%D0%B2%D1%8B%D1%87%D0%B8%D1%81%D0%BB%D0%B8%D0%BC%D0%BE%D1%81%D1%82%D0%B8) Рекурсивные функции на википедии]
 
  
 
==См. также ==
 
==См. также ==
 
* [[Лямбда-исчисление]]
 
* [[Лямбда-исчисление]]
 
* [[Частично рекурсивные функции]]
 
* [[Частично рекурсивные функции]]
 +
 +
==Источники информации ==
 +
* Н. К. Верещагин, А. Шень. [http://www.mccme.ru/free-books/shen/shen-logic-part3-2.pdf Лекции по математической логике и теории алгоритмов. Часть 3. Вычислимые функции. 4-е изд., испр., М.: МЦНМО, 2012]
 +
*[http://ru.wikipedia.org/wiki/%D0%A0%D0%B5%D0%BA%D1%83%D1%80%D1%81%D0%B8%D0%B2%D0%BD%D0%B0%D1%8F_%D1%84%D1%83%D0%BD%D0%BA%D1%86%D0%B8%D1%8F_(%D1%82%D0%B5%D0%BE%D1%80%D0%B8%D1%8F_%D0%B2%D1%8B%D1%87%D0%B8%D1%81%D0%BB%D0%B8%D0%BC%D0%BE%D1%81%D1%82%D0%B8) Википедия {{---}} Рекурсивная функция]
 +
*[https://en.wikipedia.org/wiki/Primitive_recursive_function Wikipedia {{---}} Primitive recursive function]
  
 
[[Категория: Теория формальных языков]]
 
[[Категория: Теория формальных языков]]
 
[[Категория: Теория вычислимости]]
 
[[Категория: Теория вычислимости]]
 
[[Категория: Вычислительные формализмы]]
 
[[Категория: Вычислительные формализмы]]

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

<< >>

Рекурсивные функции

Строительные блоки рекурсивных функций

Рассмотрим примитивы, из которых будем собирать выражения:

  1. [math]\mathrm{Z}[/math] — ноль.
  2. [math]\mathbb{N} \rightarrow \mathbb{N}[/math], [math]\mathrm{Z}(x) = 0[/math]

  3. [math]\mathrm{N}[/math] — инкремент.
  4. [math]\mathbb{N} \rightarrow \mathbb{N}[/math], [math]\mathrm{N}(x) = x'[/math], где [math]x' = x + 1[/math].

  5. [math]\mathrm{U^n_i}[/math] — проекция ([math]i[/math]-ый аргумент среди [math]n[/math]).
  6. [math]\mathrm{U^n_i}: \mathbb{N}^{n} \rightarrow \mathbb{N}[/math], [math]\mathrm{U^n_i} (x_1, \ldots, x_n) = x_i[/math]

  7. [math]\mathrm{S}[/math]—подстановка.
  8. Если [math]\mathrm{f}: \mathbb{N}^{n} \rightarrow \mathbb{N}[/math] и [math]\mathrm{g_1}, \ldots, \mathrm{g_n}: \mathbb{N}^{m} \rightarrow \mathbb{N}[/math], то [math]\mathrm{S}\langle{}\mathrm{f},\mathrm{g_1}, \ldots, \mathrm{g_n}\rangle: \mathbb{N}^{m} \rightarrow \mathbb{N}[/math]. При этом [math]\mathrm{S}\langle{}\mathrm{f},\mathrm{g_1}, \ldots, \mathrm{g_n}\rangle (x_1, \ldots, x_m) = \mathrm{f}(\mathrm{g_1}(x_1, \ldots, x_m), \ldots \mathrm{g_n}(x_1, \ldots, x_m))[/math]

  9. [math]\mathrm{R}[/math] — примитивная рекурсия.
  10. Если [math]\mathrm{f}: \mathbb{N}^{n} \rightarrow \mathbb{N}[/math] и [math]\mathrm{g}:\mathbb{N}^{n+2} \rightarrow \mathbb{N}[/math], то [math]\mathrm{R}\langle{}\mathrm{f},\mathrm{g}\rangle: \mathbb{N}^{n+1} \rightarrow \mathbb{N}[/math], при этом [math]\mathrm{R}\langle{}\mathrm{f},\mathrm{g}\rangle (x_1, \ldots, x_n,y) = \left\{\begin{array}{ll} \mathrm{f}(x_1, \ldots, x_n) & y = 0\\ \mathrm{g}(x_1, \ldots, x_n,y-1,\mathrm{R}\langle{}\mathrm{f},\mathrm{g}\rangle(x_1, \ldots, x_n,y-1)) & y \gt 0 \end{array}\right.[/math]

  11. [math]\mu[/math] — минимизация.
  12. Если [math]\mathrm{f}: \mathbb{N}^{n+1} \rightarrow \mathbb{N}[/math], то [math]\mu \langle{}\mathrm{f}\rangle: \mathbb{N}^{n} \rightarrow \mathbb{N}[/math], при этом [math]\mu \langle{}\mathrm{f}\rangle (x_1, \ldots, x_n)[/math] — такое минимальное число [math]y[/math], что [math]\mathrm{f}(x_1, \ldots, x_n,y) = 0[/math]. Если такого [math]y[/math] нет, результат данного примитива неопределен.

Определение:
Если некоторая функция [math]\mathbb{N}^{n} \rightarrow \mathbb{N}[/math] может быть задана с помощью данных примитивов(англ. primitive), то она называется рекурсивной (англ. recursive).


Примитивно рекурсивные функции

Определение:
Примитивно рекурсивными (англ. Primitively recursive) называют функции, которые можно получить с помощью правил [math]1[/math][math]5[/math].

Заметим, что если [math] \mathrm{f} [/math][math]n[/math]-местная примитивно рекурсивная функция, то она определена на всем множестве [math] \mathbb{N}^{n} [/math], так как [math] \mathrm{f} [/math] получается путем правил преобразования из всюду определенных функций, и правила преобразования не портят всюду определенность. Говоря неформальным языком, рекурсивные функции напоминают программы, у которых при любых входных данных все циклы и рекурсий завершатся за конечное время. Если же говорить формально, то это свойство рекурсивных функций называется тотальностью.

Определение:
Тотальность (англ. Total Function) — функция, определенная для всех возможных входных данных.


Благодаря проекторам мы можем делать следующие преобразования:

  • В рекурсии не обязательно вести индукцию по последнему аргументу. Следует из того что мы можем с помощью проекторов поставить требуемый аргумент на последнее место.
  • В правиле подстановки можно использовать функции с разным числом аргументов. Например, подстановка [math] \mathrm{F}(x,y) =\mathrm{f}(\mathrm{g}(y),\mathrm{h}(x,x,y)) [/math] эквивалентна [math] \mathrm{F}(x,y,z) = \mathrm{f}(\mathrm{g}(\mathrm{U^2_2}(x,y)),\mathrm{h}(\mathrm{U^2_1}(x,y),\mathrm{U^2_1}(x,y),\mathrm{U^2_2}(x,y))) [/math], но если [math] \mathrm{F} [/math] не константная функция то все подставляемые функции должны иметь хотя бы один аргумент.

Арифметические операции на примитивно рекурсивных функциях

n-местный ноль

[math] \textbf 0 [/math] — функция нуля аргументов.

[math] \textbf 0^{1}(y) = \mathrm{Z}(y) [/math]

[math] \textbf 0^{n}(x_1,\ldots,x_{n-1},y) = \mathrm{Z}(y) [/math]

Теперь вместо функции [math]\mathrm{Z}(x)[/math] будем использовать константу [math]\textbf 0[/math], обозначив ее как [math]\mathrm{Z}(x)[/math].

Константа [math] \textbf M [/math]

[math] \textbf M(x) = \underbrace{\mathrm{N}(\ldots (\mathrm{N}}_{ \text{M раз} }(\mathrm{Z}(x))))[/math]

[math] \textbf M^n [/math][math]n[/math]-местная константа, получается аналогичным к [math] \textbf 0^n [/math] образом.

Сложение

[math] \mathrm{sum}(x, y) = \mathrm{R}\langle{}\mathrm{f},\mathrm{g}\rangle(x,y)[/math], где

[math] \mathrm{f}(x) = x [/math]

[math] \mathrm{g}(x, y, z) = \mathrm{N}(z) [/math]


[math] \mathrm{R}\langle{}\mathrm{f},\mathrm{g}\rangle (x,y) = \left\{\begin{array}{ll} \mathrm{f}(x) & y = 0\\ \mathrm{g}(x, y-1,\mathrm{R}\langle{}\mathrm{f},\mathrm{g}\rangle(x, y-1)) & y \gt 0 \end{array}\right.[/math]

[math]=\left\{\begin{array} {ll} x & y = 0\\ \mathrm{N}(\mathrm{R} \langle{}\mathrm{f},\mathrm{g}\rangle(x, y-1)) & y \gt 0 \end{array}\right.[/math]

[math]=\left\{\begin{array} {ll} x & y = 0\\ \mathrm{N}(\mathrm{sum}(x, y-1)) & y \gt 0 \end{array}\right. [/math]

Можно преобразовать в более простой вид.

[math] \mathrm{sum}(x,0) = x [/math]

[math] \mathrm{sum}(x,y) = \mathrm{N} (\mathrm{sum}(x,y-1)) [/math]

Умножения

[math] \mathrm{prod}(x,0) = \mathrm{Z}(x) [/math]

[math] \mathrm{prod}(x,y) = \mathrm{sum}(x,\mathrm{prod}(x,y-1)) [/math]

Вычитания

Если [math] x \leqslant y [/math], то [math] \mathrm{sub}(x,y) = 0 [/math] , иначе [math] \mathrm{sub}(x,y) = x - y [/math].

Рассмотрим сначала вычитания единицы [math] \mathrm{sub_{1}}(x) = x - 1 [/math]

[math] \mathrm{sub_1}(0) = \mathrm{Z}(0) [/math]

[math] \mathrm{sub_1}(x+1) = x [/math]

Теперь рассмотрим [math] \mathrm{sub}(x,y) [/math]

[math] \mathrm{sub}(x,0) = x [/math]

[math] \mathrm{sub}(x,y) = \mathrm{sub_1}(\mathrm{sub}(x,y-1)) [/math]

Операции сравнения

[math] \mathrm{eq}(x,y) = 1 [/math] если [math] x = y [/math], иначе [math] \mathrm{eq}(x,y) = 0 [/math]

[math] \mathrm{le}(x,y) = 1 [/math] если [math] x \leqslant y [/math], иначе [math] \mathrm{lq}(x,y) = 0 [/math]

[math] \mathrm{lower}(x,y) = 1 [/math] если [math] x \lt y [/math], иначе [math] \mathrm{lower}(x,y) = 0 [/math]

Сначала выразим [math] \mathrm{eq_{0}}(x) = \mathrm{eq}(x,0) [/math]

[math] \mathrm{eq_0}(0) =\mathrm{N}(0) [/math]

[math] \mathrm{eq_0}(y) = \mathrm{h}(y-1,\mathrm{eq}(y-1)) [/math] , где [math] \mathrm{h}(y-1,\mathrm{eq}(y-1)) = \mathrm{Z}(x,y-1) [/math]

Теперь все остальные функции

[math] \mathrm{le}(x,y) = \mathrm{eq_0}(\mathrm{sub}(x,y)) [/math]

[math] \mathrm{eq}(x,y) = \mathrm{mul}(\mathrm{le}(x,y),\mathrm{le}(y,x)) [/math]

[math] \mathrm{lower}(x,y) = \mathrm{mul}(\mathrm{le}(x,y),\mathrm{le}(\mathrm{N}(x),y)) [/math]

Условный оператор

[math] \mathrm{if}(0,x,y) = y [/math]

[math] \mathrm{if}(c,x,y) = x [/math]

Деление

[math] \mathrm{divide}(x,y) = \Bigl \lfloor \dfrac{x}{y} \Bigr \rfloor [/math], если [math] y \gt 0 [/math]. Если же [math] y = 0 [/math], то значение функции нас не интересует, и можно определить её как угодно.

Сначала определим [math] \mathrm{divmax}(x,y) [/math] — функция равна максимальному числу меньшему или равному [math] x[/math], которое нацело делится на [math] y [/math].

[math] \mathrm{divmax}(0,y) =\mathrm{Z}(y) [/math]

[math]\mathrm{divmax}(x,y) =\mathrm{if}(\mathrm{eq}(\mathrm{sub}(\mathrm{N}(x-1),\mathrm{divmax}(x-1,y)),y),[/math][math]\mathrm{N}(x-1),\mathrm{divmax}(x-1,y))[/math]

Теперь само деления

[math] \mathrm{divide}(0,y) = \mathrm{Z}(y) [/math]

[math] \mathrm{divide}(x,y) = \mathrm{h}(x,y,\mathrm{divide}(x,y)) [/math], где [math] \mathrm{h}(x,y,z) = \mathrm{sum}(z,\mathrm{eq}(\mathrm{N}(x),\mathrm{divmax}(\mathrm{N}(x),y))) [/math]

Остаток от деления выражается так:

[math] \mathrm{mod}(x,y) = \mathrm{sub}(x,\mathrm{mul}(y,\mathrm{divide}(x,y))) [/math]

Работа со списками фиксированной длины

С помощью описанных выше арифметических операций можно выразить проверку на простоту числа и поиск [math] n [/math]-ого простого числа. Рассмотрим список из натуральны чисел [math] [x_1,\ldots,x_n] [/math], тогда ему в соответствия можно поставить число [math] p_1^{x_1+1} \cdot p_2^{x_2+1} \cdot \ldots \cdot p_n^{x_n+1} [/math], где [math]p_i[/math][math]i[/math]-тое простое число. Как видно из представления,создания списка, взятие [math] i [/math] - того элемента и остальные операции являются простыми арифметическими операциями, а следовательно примитивно рекурсивными. Поэтому будем считать что у примитивно рекурсивной функций аргументы и результат могут быть списками из натуральных чисел.

Теоремы

Теорема о примитивной рекурсивности вычислимых функций

Теорема:
Если для вычислимой функции [math] \mathrm{F} [/math] существует примитивно рекурсивная функция [math] \mathrm{T} [/math], такая что для любых аргументов [math] args [/math] максимальное количество шагов, за которое будет посчитана [math] \mathrm{F}(x) [/math] на МТ равно [math] \mathrm{T}(args) [/math], то [math] \mathrm{F} [/math] примитивно рекурсивная функция.
Доказательство:
[math]\triangleright[/math]

Каждому состоянию МТ поставим в соответствие список из четырех чисел [math] [L,R,S,C] [/math], где:

  • [math] L [/math] — состояние МТ слева от головки ленты, представлено в виде числа в системы счисления с основанием равным алфавиту МТ. Младшие разряды находятся возле головки. Пробелу соответствует ноль, чтобы число было конечным.
  • [math] R [/math] — состояние МТ справа от головки, представлено аналогично [math] L [/math] только возле головки МТ находятся старшие разряды.
  • [math] S [/math] — номер текущего состояния.
  • [math] C [/math] — символ на который указывает головка ленты.

Тогда всем переходам соответствует функция [math] \mathrm{f}([L,R,S,C]) [/math] принимающая состояние МТ и возвращающая новое состояние. Покажем что она примитивно рекурсивная . При применении перехода в [math] C [/math] записывается новый символ,затем из-за сдвига головки в [math] L [/math] и [math] R [/math] в конец добавляется новая цифра или удаляется старая, затем в [math] C [/math] записываетcя символ после сдвига, и в конце перехода в [math] S [/math] записывается новое состояние автомата. Операции добавления в конец цифры или удаления последней цифры легко выражаются через простые арифметические операции, следовательно они примитивно рекурсивные. Все остальные операции являются простыми операциями над списками, а значит они тоже примитивно рекурсивные. Из этого следует что применения перехода — примитивно рекурсивная функция. В силу того что нужный переход можно выбрать используя конечное число функций [math] \mathrm{if} [/math] следует что и [math] \mathrm{f} [/math] также является примитивно рекурсивной функцией.

Функции преобразование аргументов в формат входных данных для МТ и получения ответа по состоянию МТ также выражаются через простые арифметические операции а значит они примитивно рекурсивные. Назовем их [math]\mathrm{IN} [/math] и [math] \mathrm{OUT} [/math].

Рассмотрим функцию двух аргументов [math] \mathrm{N}([L,R,S,C],t) [/math] которая принимает состояние МТ , число шагов [math] t [/math] и возвращает состояние МТ после [math] t [/math] шагов. Покажем что [math]\mathrm{N}[/math] — примитивно рекурсивная функция.

[math] \mathrm{N}([L,R,S,C],t) = [L,R,S,C] [/math]

[math] \mathrm{N}([L,R,S,C],t+1) = \mathrm{h}([L,R,S,C],t+1,\mathrm{N}([L,R,S,C],t)) [/math] , где [math] \mathrm{h}([L,R,S,X],y,[L1,R1,S1,C1]) = \mathrm{f}([L1,R1,S1,C1]) [/math]

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

См. также

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