|
|||
|
1. 最少定点A作用f可以有许多固定点x这样f x =例如x.，所有价值是定点恒等函数， \ x. X。 如果f递归，我们可以代表它作为f =固定F F是某一高次作用和固定F = F固定F.的地方。 f标准denotational语义学由最少定点F.然后给。 这是上升的Kleene链子通过一再申请F获得于完全未定义价值无穷序列，底部的最少最高界面。 即固定F = LUB底部， F底部， F F底部，…. 最少定点被保证为一个连续函数存在cpo。 用于选择页被呼叫的一个分页系统的最少最近半新操作系统LRU A规则，如果比其他页使用了它读了或最近写较少。 同一个规则也许也用于贮藏所选择贮藏词条冲洗。 这个规则根据世俗现场-，一般来说，页或贮藏所词条未为长期访问是最少可能在不久将来访问的观察。 |
ABCDEFGHIJKLMNOPQRSTUVWXYZ |
|
|
|