Teoreetilibe informaatika kordamisküsimused
.,xn,z) ei ole 0 ja on määratud
vastasel juhul pole määratud
Osalised rekursiivserd funktsioonid:
Funktsioonid, mis on algfunktsioonidest saadavad superpositsiooni-,rekursiooni
ja minimeerimisoperaatori abil.
Lihtrekursiivsed f.-nid on osaliselt rekursiivsed.
Kõikjal määratud osaliselt rekursiivseid f.-ne nimetatakse üldrekursiivseteks f.-
nideks.
Operaatorterm:
· funktsioonisümbol
· avaldis kujul E(t1,t2,..tn), kus E on n-kohaline operaator ja ti on
operaatortermid
· muid op-terme pole
Kui g on n-kohaline arvutatav f.-n, siis f = y[g] on n-1-kohaline osaliselt
rekursiivne f.-n.
Tõestus: eksisteerib registermasina programm
Seega on osaliselt rekursiivsed f.-nid arvutatavad.
26. Turingi mõttes arvutatavate funktsioonide rekursiivsus.
Iga registermasina programm realiseerib rekursiivse f.-ni.
x programmi kood P
y registrite sisu P täitmisel
Kuna instruktsioonid saame Cantori numbritega kodeerida .. proge kood aga on
annaabi.ee 
