可计算性(Computability)即算法有解性,是数学和计算机科学领域中重要的概念之一。可计算性逻辑(Computability Logic,CoL)是关于可计算性的形式理论,是一种...
基于301个网页-相关网页
1937年,Alan Turing 想出了一个 通用机器(Universal Machine)” 的概念,可以执行任何的算法,形成了一个可计算(computability)”的基本概念。Turing 的概念比其它同类型的发明为好,因为他用了符号处理(symbol processing) 的概念。
基于18个网页-相关网页
computability logic 可计算性逻辑
computability theory [数] 可计算性理论 ; 促使可计算理论 ; 计较理论
turing computability 图灵机可计算性
partial computability [数] 部分可计算性
practical computability [经] 实用可计算性
feasible computability 可行计算性 ; 可行可计算性
characterization of computability 可计算性刻划
Computability and Complexity of Computing 可计算性与计算复杂性
abacus computability 算盘可计算性
以上来源于: WordNet
All these researches improve the computability of the language processing.
这些研究增强了语言处理的可计算性。
In computability theory, there is a closely related concept known as Turing equivalence.
在可计算理论里,有一个很相关的概念叫图灵等价。
This includes computability theory, computational complexity theory, and information theory.
这包括可计算性理论,计算复杂性理论,信息理论。
应用推荐