Jump to content

Kleene fixed-point theorem

From Wikipedia, the free encyclopedia

This is an old revision of this page, as edited by 129.12.41.228 (talk) at 14:29, 2 December 2004. The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

(diff) ← Previous revision | Latest revision (diff) | Newer revision → (diff)

Given any complete lattice L, and a monotone function f : L → L then the least-fixed point (lfp) of f is $\cup _{n\in \mathbb {Z} }F^{n}(\bot )$

Retrieved from "https://en.wikipedia.org/w/index.php?title=Kleene_fixed-point_theorem&oldid=8051369"