Рекурсия это такая рекурсия, которая в рекурсии подразумевает рекурсию, которая продолжает вызывать рекурсию, которая… Рекурсия — это обращение к себе. Причём, это обращение может быть настолько многоуровневым, что смотря на самую дальнюю точку — просто не видишь её конец. Очень не плохо показана идея рекурсии в фильме «Начало» с Леонардо Ди Каприо. Если вы его не могли посмотреть, то ещё можно понять что такое рекурсия из детского не очень доброго стишка, но, возможно, как любят говорить киношники — «основанного на реальных событиях»:

У попа была собака. Он её любил.
Она съела кусок мяса — он её убил.
В землю закопал и на могиле написал:
	"У попа была собака. Он её любил.
	Она съела кусок мяса — он её убил.
	В землю закопал и на могиле написал:
		"У попа была собака....

И так до бесконечности. Несчастная собака… Несчастный поп… Но такова жестокая суть рекурсии.

Для расчёта факториала можно пойти родственным путём, что и в прошлом примере, но рекурсивным он уже не будет¹⁾. В КП рекурсия разрешена и выполняется процедурой при вызове самой себя (прямо или косвенно). Важно понимать, что серия рекурсивных вызовов никогда не закончится, если не установить ограничитель. При вычислении факториала таким ограничителем служит число, по отношению к которому вычисляется факториал. Очень важно помнить, что факториал растёт чудовищно быстро, и чтобы избежать ошибки переполнения, это число не должно быть большим. Ниже, пример рекурсивного вычисления факториала на КП.

Hello11.odc

MODULE TestHello11;
	(* это программа на языке
	Компонентный Паскаль. Она показывает
	как можно вычислить произвольный факториал рекурсией. *)
 
	IMPORT мВв := In,
		мЛог := Log;
 
	PROCEDURE Факт_Получ (пцФактор: INTEGER): INTEGER;
	BEGIN
		IF пцФактор = 1 THEN
			мЛог.String('Достигнуто дно  '); мЛог.Ln;
			RETURN 1
		ELSE
			мЛог.String('пцФактор='); мЛог.Int(пцФактор); мЛог.Ln;
			RETURN пцФактор * Факт_Получ(пцФактор - 1);
		END;
	END Факт_Получ;
 
	PROCEDURE Старт*;
		VAR
			цФактор: INTEGER; (* факториал *)
			цБаза: INTEGER; (* основание факториала *)
 
	BEGIN
		мЛог.String('Введите основание факториала: ');
		мВв.Open;
		мВв.Int(цБаза); мЛог.Ln;
		мЛог.String('BEGIN цБаза='); мЛог.Int(цБаза); мЛог.Ln;
		цФактор := Факт_Получ(цБаза);
		мЛог.String('f('); мЛог.Int(цБаза); мЛог.String(')= '); мЛог.Int(цФактор); мЛог.Ln;
	END Старт;
 
BEGIN
END TestHello11.
 
"6" выделить перед пуском!!!
 
^TestHello11.Старт 6 

Обратите внимание, что в этом примере можно было использовать только одну переменную для вычисления факториала, если бы вывод в мЛог.Int(цФактор) выполнялся через вызов мЛог.Int(Фактор_Получ(пцФактор)). Соответственно, строку выше можно было бы удалить и отказаться от объявления переменной «пцФактор».

Вывод программы представлен ниже:

компилируется "TestHello11"   220   0
Введите основание факториала: 
BEGIN цБаза= 6
пцФактор= 6
пцФактор= 5
пцФактор= 4
пцФактор= 3
пцФактор= 2
Достигнуто дно  
f( 6)=  720

Как видно из вывода переменная цБаза с каждым вызовом действительно уменьшалась на «1», и это была настоящая рекурсия.