Minimo punto fisso: a che serve?
per dare un significato alle definizioni ricorsive
- in particolare, a funzioni parziali definite ricorsivamente
vediamo un semplice esempio
- definizione ricorsiva di una funzione parziale (il solito fattoriale) da interi a interi
-
fact = _x. if x=0 then 1 else x * fact (x-1)