在可计算理论里，有一个很相关的概念叫图灵等价。
In computability theory, there is a closely related concept known as Turing equivalence.
研究了无穷计算的基本性质，引入基于相对可计算理论的过程模式可计算泛函概念。
The basic properties of the infinite computation are studied. The concept of the procedure schemata computable functional based on the relative computability theory is introduced.
尔后课程中将可利用这些方法来设计与分析演算法、可计算理论、软体工程与电脑系统。
They will be able to use these methods in subsequent courses in the design and analysis of algorithms, computability theory, software engineering, and computer systems.
应用推荐