Täisrekursiivne funktsioon

Matemaatilises loogikas ja arvutiteaduses on üldine rekursiivne funktsioon, osaline rekursiivne funktsioon või μ-rekursiivne funktsioon naturaalarvudest naturaalarvudeni osaline funktsioon, mis on "arvutatav" nii intuitiivses kui ka formaalses mõttes. 

Kui funktsioon on totaalne, nimetatakse seda ka totaalseks rekursiivseks funktsiooniks või täisrekursiivne funktsiooniks (mõnikord lühendatakse seda rekursiivseks funktsiooniks)."Recursive Functions". The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University. 2021. Arvutatavuse teoorias on näidatud, et μ-rekursiivsed funktsioonid on just need funktsioonid, mida saab arvutada Turingi masinategaStanford Encyclopedia of Philosophy, Entry Recursive Functions, Sect.1.7: "[The class of μ-recursive functions] turns out to coincide with the class of the Turing-computable functions introduced by Alan Turing as well as with the class of the λ-definable functions introduced by Alonzo Church."Turing, Alan Mathison (Dec 1937). "Computability and λ-Definability". (see on üks Church-Turingi teesi toetavatest teoreemidest). μ-rekursiivsed funktsioonid on tihedalt seotud primitiivsete rekursiivsete funktsioonidega ja nende induktiivne määratlus põhineb primitiivsete rekursiivsete funktsioonide omal. Kuid mitte iga täielik rekursiivne funktsioon ei ole primitiivne rekursiivne funktsioon – kuulsaim näide on Ackermanni funktsioon.

 Definitsioon 
μ-rekursiivsed funktsioonid (või üldised rekursiivsed funktsioonid) on osafunktsioonid, mis võtavad naturaalarvude lõplikke ennikuid ja tagastavad ühe naturaalarvu. Need on väikseim osafunktsioonide klass, mis sisaldab algfunktsioone ja on suletud kompositsiooni, primitiivse rekursiooni ja minimeerimisoperaatori μ all.Enderton, H. B., A Mathematical Introduction to Logic, Academic Press, 1972

 Viited 
Kleene, Stephen C. (1936). "λ-definability and recursiveness". Duke Mathematical Journal. 2 (2): 340–352. doi:10.1215/s0012-7094-36-00227-2.

Kategooria:Informaatika
Kategooria:Loogika