Вікіпедія

Операція примітивної рекурсії: відмінності між версіями

Інтерактивний перегляд історії
[неперевірена версія][неперевірена версія]
← Попереднє редагуванняНаступне редагування →
Вилучено вміст Додано вміст
ВізуальнийВікірозмітка
мНемає опису редагування
Albedo (обговорення | внесок)
128 697 редагувань
Немає опису редагування
Рядок 1:
'''Опера́ція приміти́вної реку́рсії'''&nbsp;— двомісна [[операція]], широко вживана в теорії [[рекурсивна функція|рекурсивних функцій]]. Кожній такій парі рекурсивних функцій, в якій одна функція&nbsp;— функція від <math>\!n+2</math> змінних <math>\! h(x_1, ..., x_{n+1}, x{n+2})</math>, а інша&nbsp;— функція від <math>\!n</math> [[змінна|змінних]] <math>\!g(x_1, ..., x_{n})</math> ,вона складає [[функція (математика)|функцію]] від <math>\!n+1</math> змінних <math>\!f(x_1, ..., x_{n+1})</math> за такою схемою:
'''Операція примітивної рекурсії''' &mdash; двумістна операція, яка широко використовується в теорії [[Рекурсивна функція|рекурсивних функцій]].
 
<math>\!f(x_1, ..., x_n, 0)= g(x_1, ..., x_{n})</math>
Кожній парі рекурсивних функцій, в якій одна функція &mdash; функція від ''n''+2 змінних ''h''(''x''<sub>1</sub>, ..., ''x''<sub>n+1</sub>, ''x''<sub>n+2</sub>), а інша &mdash; функція від ''n'' змінних ''g''(''x''<sub>1</sub>, ..., ''x''<sub>n</sub>), вона співставляє функцію від ''n''+1 змінних ''f''(''x''<sub>1</sub>, ...,''x''<sub>n+1</sub>) згідно із такою схемою:
 
: ''f''(''x''<sub>1</sub>, ..., ''x''<sub>n</sub>, 0) = ''g''(''x''<sub>1</sub>, ...,''x''<sub>n</sub>)
: ''<math>\!f''(''x''<sub>1</sub>x_1, ..., ''x''<sub>n</sub>x_n, ''n''+1) = ''h''(''x''<sub>1</sub>x_1, ..., ''x''<sub>n</sub>x_n, ''n'' ''f''nf(''x''<sub>1</sub>x_1, ..., ''x''<sub>n</sub>x_n, ''n''))</math>
 
===Література===
 
* {{ЕК}}
 
[[Категорія:Математика]]
 
== Джерела інформації ==
 
* [[Енциклопедія кібернетики]], т. '''2''', ст. 129.
 
== Дивіться також ==
 
* [[Рекурсивна функція]]
 
Отримано з https://uk.wikipedia.org/wiki/Операція_примітивної_рекурсії