Rekursive Definitionen II

Rekursive Definitionen können ebenso für Folgen oder für Funktionen verwendet werden.

Die Fakultät F(n) = n! ist für n > 0 definiert als

F(0) = 1

F(n) = n · F(n-1) für n > 0

In Oberon können Prozeduren sich selbst aufrufen. Damit ist es relativ leicht möglich, eine rekursive Definition mehr oder weniger direkt zu übernehmen:

Factorial.om

PROCEDURE Factorial(n: INTEGER) : INTEGER; BEGIN IF n > 0 THEN RETURN n * Factorial(n - 1) ELSE RETURN 1 END; END Factorial;