1) fixed point subring
不动点子环
1.
In this paper we have studied the radicals of R\~G, the fixed point subring of a group ring R\, shch as Prime radical, Jacobson radical, Levitzki radical, N-radical and N~*-radical.
研究群环R[G]的不动点子环R[G]G各种根性质,包括素根、Jacobson根、Levitzki根、N根以及N 根等,并讨论该类子环的其它一些相关性质。
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) H-fixed pointed space
H-不动点子空间
补充资料：花点子
①欺骗人的狡猾手段、计策等。②不切实际的主意。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条