| 释义 |
computability 英/ k?m?pju?t?b?l?ti / 美/ k?m?pju?t?b?l?ti / 1 [数]?可计算性 可计算性(Computability)即算法有解性,是数学和计算机科学领域中重要的概念之一。可计算性逻辑(Computability Logic,CoL)是关于可计算性的形式理论,是一种... 2 ?可算性 ... compulsoryunitization强制合一 computability可算性 computationattribute计算属性 ... 3 ?可计算 1937年,Alan Turing 想出了一个 通用机器(Universal Machine)” 的概念，可以执行任何的算法，形成了一个可计算(computability)”的基本概念。Turing 的概念比其它同类型的发明为好，因为他用了符号处理(symbol processing) 的概念。
- 1
All these researches improve the computability of the language processing. - 2
In computability theory, there is a closely related concept known as Turing equivalence. - 3
This includes computability theory, computational complexity theory, and information theory.
|