这些研究增强了语言处理的可计算性。
All these researches improve the computability of the language processing.
传统的可计算性理论以图灵机为基础模型。
The traditional theory of computability is based on Turing machines.
可计算、领域和目的使得它具有工程的属性。
The features computable , domain, and purpose characterize it as a branch of engineering.
这包括可计算性理论，计算复杂性理论，信息理论。
This includes computability theory, computational complexity theory, and information theory.
直到没有什么可计算时，我们才计算一个人的年龄。
We do not count a man's years until he has nothing else to count.
在可计算理论里，有一个很相关的概念叫图灵等价。
In computability theory, there is a closely related concept known as Turing equivalence.
这一事实使它们非常适合于理论研究的可计算性问题。
This fact makes them very suitable for theoretical investigations of computability questions.
对角线数是由明确的规则来生成的，为什么不可计算呢？
The diagonal number was defined clearly enough, it appeared—so why could it not be computed?
是否存在一种计算，它在理论上是(计算机)不可计算的？
Are there any calculations which are theoretically impossible for a computer to perform?
我的足迹是一个网页，它可计算每人消耗的土地与水资源量。
My Footprint is a Web page that calculates the amount of land and water resources that an individual USES.
它是可计算性的形式理论，正如经典逻辑是真理的形式理论。
It is a formal theory of computability in the same sense as classical logic is a formal theory of truth.
X Forms处理器无需额外代码即可计算并强制这些约束。
The XForms processor evaluates and enforces these constraints without the need for additional code.
如图灵可计算的完整性和理论的东西的技术细节超出了大多数。
The technical details of things like Turing completeness and theories of computability are beyond most of them.
根据接触载荷数据，可计算得到接触载荷与样品表面变形的关系。
Based on the achieved contact force data, the relation of the contact force and deformation depth of specimens can be obtained by calculation.
高级课程中还包括了可计算包括理论模型理论和计算复杂性理论。
For curricula automata subject a more advanced graduate course, computability theory and computational complexity theory are also covered.
recursive 规定该属性包含可计算的对象的dn值。
recursive states that this attribute contains the dn values of objects that can be evaluated.
分析了一般均衡模型和可计算一般均衡模型在排污收费政策中的应用。
The applications of General Equilibrium model and the Computable General Equilibrium model in pollution charge policy were studied.
下面的表格指出了在可计算性和复杂性理论应当考虑的一些种类的问题。
The following table shows some of the classes of problems that are considered in computability theory and complexity theory.
一定要记住，在使用静态断言时，检查的表达式在编译时必须是可计算的。
While using static assertions, always remember that the expression being checked must be evaluable at compile time.
利用这一图像变化特点并结合少量预知参数就可计算获得物体的距离信息。
The distance can be obtained by changes of image and some parameters when the distance changes.
密度，水含量，固体份含量，稀释量同样可确定，VOC的含量可计算来得到。
Density, water content, volume solids, and exempt solvent content are also determined, and the VOC content is calculated.
和接触电势一样，由于偏移电流而引起的小电流信号测量不确定度亦可计算获得。
As with the contact potential, the uncertainty added to a small current signal by the offset current can be calculated.
通过求解该方程，可计算各节点不同时刻的位移，计算出载荷，绘出各节点功图。
By this equation, we can calculate the displacement, load and dynamometer diagram at every rod node and any time.
使用可计算一般均衡的方法对电力需求侧管理项目的经济影响和环境影响进行分析。
In this paper, the Computable General Equilibrium model was used to analysis the economic and environmental impact of the Demand-Side Management project.
这是一个有趣的阅读用来探索MapReduce模型如何应用到各种不同的可计算算法。
It's an interesting read to explore how the MapReduce model can apply to a variety of computational algorithms.
这是一个有趣的阅读用来探索MapReduce模型如何应用到各种不同的可计算算法。
It's an interesting read to explore how the MapReduce model can apply to a variety of computational algorithms.
应用推荐