1) 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中不动点组合算子的范式。
2) fixed point combinators
不动点算子
1.
There are fixed point combinators in λ-Calculus expressing the recursive nature in Recursive function.
λ-演算中的不动点算子,增强了系统的表达能力,表达了递归函数中递归的性质,但同时也略有不足,因为常见不动点算子,都没有β-范式。
3) general fixpoint operator
普通不动点算子
5) Fixed point for increasing operators
增算子不动点
6) increasing operator and fixed point
增算子及不动点
补充资料：排列组合易错点
１. 解排列组合问题的依据是：分类相加，分步相乘，有序排列，无序组合．
２.解排列组合问题的规律是：相邻问题捆绑法；不邻问题插空法；多排问题单排法；定位问题优先法；定序问题倍缩法；多元问题分类法；有序分配问题法；选取问题先排后排法；至多至少问题间接法．
３. 解答选择题的特殊方法是什么？(顺推法，估算法，特例法，特征分析法，直观选择法，逆推验证法等等)
４. 解答开放型问题时，需要思维广阔全面，知识纵横联系．
５. 解答信息型问题时，透彻理解问题中的新信息，这是准确解题的前提．
６. 解答多参型问题时，关键在于恰当地引出参变量, 想方设法摆脱参变量的困绕．这当中，参变量的分离、集中、消去、代换以及反客为主等策略，似乎是解答这类问题的通性通法．
７. 在分类讨论时,分类要做到“不重不漏、层次分明，最后要进行总结．
８. 在做应用题时, 运算后的单位要弄准，不要忘了“答”及变量的取值范围；在填写填空题中的应用题的答案时, 不要忘了单位．
９．在解答题中，如果要应用教材中没有的重要结论，那么在解题过程中要给出简单的证明。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条