slovodefinícia
fixed point
(foldoc)		fixed point
fixpoint

The fixed point of a function, f is any value, x
for which f x = x. A function may have any number of fixed
points from none (e.g. f x = x+1) to infinitely many (e.g. f x
= x). The fixed point combinator, written as either "fix"
or "Y" will return the fixed point of a function.

See also least fixed point.

(1995-04-13)
podobné slovodefinícia
fixed point combinator
(foldoc)		fixed point combinator

(Y) The name used in combinatory logic for the
fixed point function, also written as "fix".

(1994-10-20)
least fixed point
(foldoc)		least fixed point

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.

(2005-04-12)

Nenašli ste slovo čo ste hľadali ? Doplňte ho do slovníka.

na vytvorenie tejto webstránky bol pužitý dictd server s dátami z sk-spell.sk.cx a z iných voľne dostupných dictd databáz. Ak máte klienta na dictd protokol (napríklad kdict), použite zdroj slovnik.iz.sk a port 2628.

online slovník, sk-spell - slovníkové dáta, IZ Bratislava, Malé Karpaty - turistika, Michal Páleník, správy, údaje o okresoch V4