Effectively given Domains
Effectively given Domains
复制标题
有效指定域
DOI：
10.1016/0304-3975(77)90045-7
复制
发表时间：
1977
期刊：
影响因子：
--
通讯作者：
M. Smyth
中科院分区：
文献类型：
--
作者：
M. Smyth
给出了有效给定连续cpo概念的定义。这一概念的重要性在于，我们可以很容易地描述一个有效给定的域上的任意有限型的可计算（部分）函数。我们表明，这里给出的定义是封闭的几个重要的域的建设，即总和，产品，功能空间，powerdomain和逆限制（最后两个限制形式），这允许递归域方程有效地解决。
A definition of the notion of aneffectively givencontinuous cpo is provided. The importance of the notion lies in the fact that we can readily characterize the computable (partial) functions of arbitrary finite type over an effectively given domain. We show that the definition given here is closed under several important domain constructions, namely sum, product, function space, powerdomain and inverse limits (the last two in a restricted form); this permits recursive domain equations to be solved effectively.