Рекурсивная:
function NOD(x,y:integer):integer;
begin
 if x0 then NOD:=NOD(y mod x,x) else NOD:=y;
end;
var a,b:integer;
begin
write('a='); readln(a);
write('b='); readln(b);
writeln('НОД=',NOD(a,b));
end.

Не рекурсивная:
function NOD(x,y:integer):integer;
begin
while (x0)and(y0) do
 if x>y then x:=x mod y else y:=y mod x;
NOD:=x+y;
end;
var a,b:integer;
begin
write('a='); readln(a);
write('b='); readln(b);
writeln('НОД=',NOD(a,b));
end.

Пример:
a=125
b=50
НОД=25