Minimo punto fisso
(S, _) reticolo completo
_: S __S operatore su S
a __S č il minimo punto fisso (least fixpoint, lfp) di __ se
a č un punto fisso di _, cioč _(a) = a
_ b punto fisso di _, a _ b
Previous slide
Next slide
Back to first slide
View graphic version