Částečně rekurzivní funkce: Porovnání verzí
Smazaný obsah Přidaný obsah
AU! |
|||
Řádek 13:
Tyto funkce jsou částečně, ale ne primitivně rekurzivní:
* [[Ackermannova funkce]]
* univerzální částečně rekurzivní funkce (vzpomenutá výše)
* libovolná ČRF, která je někde nedefinována
* <s>[[McCarthyho funkce 91]] </s> (viz [[:en:McCarthy 91 function]])
{{Interwiki konflikt}}
| |||