1) fixpoint constructor
不动点构造算子
1.
Based on hybrid graded μ-calculus, the description logic μALCQO which may include terminological cycles is presented, and the μALCQO is derived form the description logic ALCQO which includes the nominal constructor by adding the least and greatest fixpoint constructors.
基于混合分级μ-演算将不动点构造算子引入到含有枚举构造算子的描述逻辑ALCQO中,提出了一种允许包含循环术语集的描述逻辑μALCQO。
2) fixed point combinators
不动点算子
1.
There are fixed point combinators in λ-Calculus expressing the recursive nature in Recursive function.
λ-演算中的不动点算子,增强了系统的表达能力,表达了递归函数中递归的性质,但同时也略有不足,因为常见不动点算子,都没有β-范式。
3) the fixed-point combinators
不动点组合算子
1.
the Bhm-Van der Mey theorem concerning the fixed-point combinators in formal theory λβ, was improved by means of addition of restricted rules into the combinatory logic.
从组合逻辑添加受限制的外延性规则,对纯λ-演算,即形式理论λβ中关于不动点组合算子的Bo¨hm-VanderMey定理做出了改进,同时讨论了组合逻辑CLw中不动点组合算子的范式。
4) general fixpoint operator
普通不动点算子
6) Fixed point for increasing operators
增算子不动点
补充资料：不动
【不动】
（菩萨）(参见：不动明王)
（菩萨）(参见：不动明王)
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条