Částečně rekurzivní funkce

koncept vyčíslitelných funkcí obecnějších než primitivně rekurzivní funkce From Wikipedia, the free encyclopedia