0%

least fixed point

L l

Transcription

    • US Pronunciation
    • US IPA
    • US Pronunciation
    • US IPA

Definition of least fixed point words

  • noun Technical meaning of least fixed point (mathematics)   A function f may have many fixed points (x such that f x = x). For example, any value is a fixed point of the identity function, (\ x . x). If f is recursive, we can represent it as f = fix F where F is some higher-order function and fix F = F (fix F). The standard denotational semantics of f is then given by the least fixed point of F. This is the least upper bound of the infinite sequence (the ascending Kleene chain) obtained by repeatedly applying F to the totally undefined value, bottom. I.e. fix F = LUB {bottom, F bottom, F (F bottom), ...}. The least fixed point is guaranteed to exist for a continuous function over a cpo. 1
Just one definition for least fixed point

Information block about the term

Parts of speech for Least fixed point

noun
adjective
verb
adverb
pronoun
preposition
conjunction
determiner
exclamation
Full grammatical hierarchy of Least fixed point

See also

Matching words

Was this page helpful?
Yes No
Thank you for your feedback! Tell your friends about this page
Tell us why?