Formalizzazione in Pascal

Home ] Su ] implementazione (2) ]


Il linguaggio Pascal è in grado di supportare tecniche di programmazione ricorsive. L'algoritmo ricorsivo

(RB)     M(m,0)=M(0,n)=1 per  m,n>0

(RR)    M(m,n)=M(m,n-1)+M(m-1,n), per m,n>0

è codificabile per mezzo della funzione ricorsiva M definita da

function M( a: integer;b:integer):longint;

begin

     if (a=0) or (b=0) then M:=1

     else M:=M(a-1,b)+M(a,b-1)

end;