Verfahren, bei denen Probleme durch sich selbst erklärt werden; angewendet v. a. bei Definitionen von Prozeduren, Funktionen (z. B. zur Berechnung der Fakultät einer Zahl), Algorithmen und Datenstrukturen (z. B. binäre Bäume). Die meisten höheren Programmiersprachen unterstützen rekursive Definitionen. Bei der direkten Rekursion ruft eine Prozedur sich selbst auf,