1) effectively computable function
能行可计算函数
2) effective computable function
能行可计算性函数
1.
This paper studies the mathematical structure of asymptotically dominating equivalence classes, and establishes the structure of equivalence classes of effective computable functions by using the ideal computer URM and the methods of asymptotic analysis.
利用理想计算机 URM关于能行可计算性函数的定义以及渐进分析的方法对能行可计算性函数进行分类后 ,建立了能行可计算性函数渐进优超等价类子结构 ,并通过引进可达性概念研究能行可计算性函数渐进优超等价类之间的关系 ,证明了任何一致无界能行可计算性函数渐进优超等价类都具有强不可达性质 。
4) real number computable function
实数可计算函数
5) Computable real function
可计算实数函数
6) Elementarily computable function
初等可计算函数
补充资料：能行
【能行】
（术语）所行之对。谓对被行者而行之方也。
（术语）所行之对。谓对被行者而行之方也。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条