Částečně rekurzivní funkce: Porovnání verzí

AU!
m (Bot: + {{Interwiki konflikt}}; kosmetické úpravy)
(AU!)
* [[podmnožina]] všude definovaných ČRF se nazývá třída '''obecně rekurzivních funkcí''' ('''ORF''') , také třída '''totálních rekurzivních funkcí''' či jen '''rekurzivních funkcí'''
* platí, že PRF je vlastní podmnožinou ORF, a ta je vlastní podmnožinou ČRF
* existuje tzv. ''univerzální částečně rekurzivní funkce'', která kromě vlastních argumentů dostává ještě [[index]] ČRF (tzv. [[Gödelovo číslo]]), jejíž hodnotu při daných argumentech vyčísluje. Tato univerzální funkce je ve smyslu výpočetní síly ekvivalentní s [[Turingův stroj|Turingovým strojem]]
 
== Příklady ==
Tyto funkce jsou částečně, ale ne primitivně, rekurzivní:
* [[Ackermannova funkce]]
* <s>[[McCarthyho funkce 91]] </s> (viz [[:en:McCarthy 91 function]])
{{Interwiki konflikt}}