排序方式: 共有1条查询结果,搜索用时 0 毫秒
1
1.
<正> 1、问题的提出文[2]中讨论递归程序的不动点语义时,指出函数空间[(D~+)~n→D~+]关于Scott偏序“”是一个链半格,由此根据Kleen定理推断出连续泛函不动点的存在性。这里的链格与通常定义的完全格有何关系?设偏序集(L,≤),对任意的x,y∈L,都存在它的最大下界glb(x,y)和最小上界lub(x,y),则称L为格,对于CL,如对于任意x,y∈C,或有x≤y或有y≤x,称C为链。如果对格L中的任意链C,在L中都存在它的最小上界lub(c)和最大下界glb(c),则称L为完全链格。 相似文献
1