CONTINUOUSLY GENERATED FIXED-POINTS

被引：1

作者：

BRACHO, F

机构：

[1] Univ Nacional Autonoma de Mexico, Mexico

来源：

THEORETICAL COMPUTER SCIENCE | 1989年 / 68卷 / 03期

关键词：

Mathematical Techniques--Operators;

D O I：

10.1016/0304-3975(89)90166-7

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

Fixed points are solutions to equations of the form f(x) = x. A fixed-point operator is a functional F:[D &rarr D] &rarr D such that F(f) = f(F(f)) for any f in [D &rarr D]. Fixed-point operators, like the least fixed-point operator-Y, are used to obtain solutions for recursively defined functions and domain equations. We work within the category of domains. There we characterize the fixed points of a continuous function that can be obtained via a continuous fixed-point operator: the continuously generated fixed points of f.

引用

页码：303 / 317

页数：15