14
Partial Fixpoint
•
Let F be arbitrary, X
0
=
;
, X
i+1
= F(X
i
)
•
•
Define:
pfp
(F) = X
n
if X
n
= X
n+1
pfp
(F) =
;
if there is no such n