可计算

The following table shows some of the classes of problems that are considered in computability theory and complexity theory.

下面的表格指出了在可计算性和复杂性理论应当考虑的一些种类的问题。

All these researches improve the computability of the language processing.

这些研究增强了语言处理的可计算性。

It is a formal theory of computability in the same sense as classical logic is a formal theory of truth.

它是可计算性的形式理论，正如经典逻辑是真理的形式理论。

The technical details of things like Turing completeness and theories of computability are beyond most of them.

如图灵可计算的完整性和理论的东西的技术细节超出了大多数。

This fact makes them very suitable for theoretical investigations of computability questions.

这一事实使它们非常适合于理论研究的可计算性问题。

Computability is certainly one of the most interesting and fundamental concepts in mathematics, philosophy and computer science, and it would be more than natural to ask what logic it induces.

可计算性无疑是数学、哲学和计算机科学中最有趣的、基本的概念之一。

Computability theory examines the limitations of various theoretical models of the computer, including the most powerful known model the Turing machine .

可计算性理论探讨了计算机的各种理论模型的局限性，包括已知的最强大的模式，-图灵机。

Meanwhile, the strict definitions of all divergence types presented in this paper improve the computability for the solving divergences and enable the design and the implementation of the system to be feasible.

同时，由于给出了各差异类型的严格定义，增强了异化求解的可计算性，使系统易于设计和实现。

The calculus can be used to cleanly define what a computable function is.

Lambda演算可以用来清晰的定义什么是一个可计算的函数。

Nonlinear wave system; Exact solution; Approximate solution; Soliton; Riccati equation method; Turing machine; Computable function

非线性波系统；精确解；近似解；孤立波； Riccati方程方法；图灵机；可计算函数

If you are unfortunate enough to the lovelorn, please tell me, I will help you out, really, please contact me!

如果你不幸失恋了，请告诉我，我会帮助你摆脱困境，真的，请联系我啦！

China's plan to cut energy intensity by 20 percent and pollutant discharges by 10 percent between 2006 and 2010 is a case in point.

中国计划在2006年到2010间降低20%的能源强度和减少10%的主要污染物排放，就是一个这样的例子。