在可计算理论里，有一个很相关的概念叫图灵等价。
In computability theory, there is a closely related concept known as Turing equivalence.
结合损失分布可计算理论上完全补偿农民医疗费用所需的纯保费。
The net premium ensuring the whole medical cost can be calculated by using the loss distribution.
研究了无穷计算的基本性质，引入基于相对可计算理论的过程模式可计算泛函概念。
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.
有效的解决它，在可计算理论上具有重要的理论意义，同时也具有重要的实际应用价值。
To solve it effectively has not only great theoretical function, but also very important pragmatic value in the filed of calculable theory.
尔后课程中将可利用这些方法来设计与分析演算法、可计算理论、软体工程与电脑系统。
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.
在可计算理论和计算机科学领域的标准定义，叫做“自我重复程序”、“自我生成程序”和“自我拷贝程序”。
The standard terms for these programs in the computability theory and computer science literature are "self-replicating programs", "self-reproducing programs", and "self-copying programs".
可计算性理论探讨了计算机的各种理论模型的局限性，包括已知的最强大的模式，-图灵机。
Computability theory examines the limitations of various theoretical models of the computer, including the most powerful known model - the Turing machine.
下面的表格指出了在可计算性和复杂性理论应当考虑的一些种类的问题。
The following table shows some of the classes of problems that are considered in computability theory and complexity theory.
是否存在一种计算，它在理论上是(计算机)不可计算的？
Are there any calculations which are theoretically impossible for a computer to perform?
本系列文章应用形式语言及自动机理论技术，系统地探讨了DNA分子的可计算性及其计算能力。
The series papers systematically discuss the computability and the computational capacity of DNA molecular using the formal language and automata theory.
下面的表格指出了在可计算性(蓝色)和复杂性理论(绿色)应当考虑的一些种类的问题。
The following table shows some of the classes of problems (or languages, or grammars) that are considered in computability theory (blue) and complexity theory (green).
这一事实使它们非常适合于理论研究的可计算性问题。
This fact makes them very suitable for theoretical investigations of computability questions.
如图灵可计算的完整性和理论的东西的技术细节超出了大多数。
The technical details of things like Turing completeness and theories of computability are beyond most of them.
这包括可计算性理论，计算复杂性理论，信息理论。
This includes computability theory, computational complexity theory, and information theory.
高级课程中还包括了可计算包括理论模型理论和计算复杂性理论。
For curricula automata subject a more advanced graduate course, computability theory and computational complexity theory are also covered.
它是可计算性的形式理论，正如经典逻辑是真理的形式理论。
It is a formal theory of computability in the same sense as classical logic is a formal theory of truth.
本文提出了向列型液晶的格胞理论，为研究分子短程关联提供一个可计算的理论模型。
A cell theory of nematic liquid crystals is presented, which provides a calculable theoretical model for investigation of molecular short-range correlations.
传统的可计算性理论以图灵机为基础模型。
The traditional theory of computability is based on Turing machines.
本文依据可计算性理论，提出了拼音文字非键盘映射编码方法，将整词编码分为输写码与计算码。
With the use of computability theory dividing whole-word coding into two parts: writing-input coding and computational coding, an method of none keyboard mapping for spelling language is proposed.
基于复杂适应系统理论的可计算模型，建立奥运经济冲击模型。
To establish an Olympic economic shock model based on computational model of the complex adaptive system theory.
不存在神秘且不可计算的力量，而是一种有理论基础的方法计算一切事物。
There are ·no mysterious incalculable forces that come into play, but rather that one can, in principle, master all things by calculation.
将分段位移传递法和有限应变理论相结合，可计算大变形下的极限应变。
Limit strain is able to be calculated by the combination of the fractionized displacement transfer (FDT) algorithm and the finite strain theory.
文章最后，从指称理论和语言的可计算性，论述了语义网络的实现和计算机、网络对网络语言的理解。
Finally, based on the reference theories and the language "s calculability, we discussed the realization of the semantic net language and how computer and network comprehend the network language."
根据该理论，可计算得到轧机容易激发的固有频率。
Experiment shows that the natural frequencies got from theoretical formulae are good approximations compared the values measured.
根据电磁场理论，可计算出相应的矢势。
有三个核心领域：形式语言与自动机理论、可计算性理论和计算的复杂性理论。
The three main research areas of the theory are: formal language and automata theory, computability theory and the computing complexity theory.
由于在可计算函数逻辑(LCF)、ML和并行理论(CCS)这三个方面突出和完美的贡献。
Computable logic function (LCF), ML and the parallel theory (CCS) which highlighted three areas and perfect.
由于在可计算函数逻辑(LCF)、ML和并行理论(CCS)这三个方面突出和完美的贡献。
Computable logic function (LCF), ML and the parallel theory (CCS) which highlighted three areas and perfect.
应用推荐