Rekursionstheorie,
mathematische Theorie der Berechenbarkeit; in der Rekursionsstheorie werden u. a. die Begriffe Algorithmus und rekursive Funktion z. B. mithilfe so genannter idealer Rechenmaschinen (z. B. Registermaschine, Turing-Maschine) präzisiert und untersucht.
Universal-Lexikon. 2012.