computability造句_computability例句_computability用法_V5词典

1. All these researches improve the computability of the language processing.: 这些研究增强了语言处理的可计算性。

2. This fact makes them very suitable for theoretical investigations of computability questions.: 这一事实使它们非常适合于理论研究的可计算性问题。

3. In one word, the task of interactive computability theory is to determine the computing capability of interactive systems and interaction mechanisms.: 交互可计算性理论的问题归结为一点，就是研究交互式系统和交互机制的计算能力。

4. 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).: 下面的表格指出了在可计算性（蓝色）和复杂性理论（绿色）应当考虑的一些种类的问题。

5. Computability theory examines the limitations of various theoretical models of the computer, including the most powerful known model – the Turing machine.: 可计算性理论探讨了计算机的各种理论模型的局限性，包括已知的最强大的模式， -图灵机。

6. In order to derive explicit results, this paper bases its view on the substantial mathematical concept of computability.: 为了获得明确的结果，本文将视角建基于“可计算性”这一坚实的数学概念之上；

7. This includes computability theory, computational complexity theory, and information theory.: 这包括可计算性理论，计算复杂性理论，信息理论。

8. The series papers systematically discuss the computability and the computational capacity of DNA molecular using the formal language and automata theory.: 本系列文章应用形式语言及自动机理论技术，系统地探讨了DNA分子的可计算性及其计算能力。

9. The traditional theory of computability is based on Turing machines.: 传统的可计算性理论以图灵机为基础模型。

10. The series papers systematic discuss the computability and the computational capacity of DNA molecular using the formal language and automata theory.: 本系列文章应用形式语言及自动机理论技术，系统地探讨了DNA分子的可计算性及其计算能力。

11. 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.: 本文依据可计算性理论，提出了拼音文字非键盘映射编码方法，将整词编码分为输写码与计算码。

12. It is a formal theory of computability in the same sense as classical logic is a formal theory of truth.: 它是可计算性的形式理论，正如经典逻辑是真理的形式理论。

13. Computability, rationality and practicality of this approach are explained through practical case studies.: 通过应用案例，论证了这一方法的可运算性、合理性和实用性。

14. The following table shows some of the classes of problems that are considered in computability theory and complexity theory.: 下面的表格指出了在可计算性和复杂性理论应当考虑的一些种类的问题。

15. The computability theory is one of the vital and hard problems in computer scientific research nowadays.: 可计算性理论是当今计算机科学中研究的热点和难点问题之一。

16. In general, questions of what can be computed by various machines are investigated in computability theory.: 一般而言，计算性理论研究的问题是：什么是能够被各种机器计算的问题。

17. Based on the sound and complete subset CL4 of computability logic, knowledge representation is discussed by dividing knowledge into elementary and general ones.: 以可计算性逻辑的完备子集CL4为基础进行知识表示，将知识分为简单知识与一般知识。

18. The technical details of things like Turing completeness and theories of computability are beyond most of them.: 如图灵可计算的完整性和理论的东西的技术细节超出了大多数。

19. For validating validity and computability of the algorithm, the influencing factor of algorithm is discussed with the theoretic error analysis of the algorithm and its example.: 此外，结合算法误差的理论分析和算例探讨了影响算法误差的各种因素，进一步论证了算法的正确性和有效性。

20. The model has clear mathematical and physical meaning and excellent computability. The efficiency of the method has been demostrated by both simulation and practice.: 本方法数学、物理意义明确，可计算性强，无论电算、手算均具有很多优越性。

21. For curricula automata subject a more advanced graduate course, computability theory and computational complexity theory are also covered.: 高级课程中还包括了可计算包括理论模型理论和计算复杂性理论。

22. For curricula automata subject a more advanced graduate course, computability theory and computational complexity theory are also covered.: 高级课程中还包括了可计算包括理论模型理论和计算复杂性理论。

23. turing computability: 图灵机可计算性

24. computability theory: 可计算性理论

25. practical computability: 实用可计算性

26. 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.: 本文依据可计算性理论，提出了拼音文字非键盘映射编码方法，将整词编码分为输写码与计算码。

考试词汇

CET4 四级词汇 CET6 六级词汇 TEM4 英专四级 TEM8 英专八级考研词汇 GRE 词汇托福词汇雅思词汇

相关应用

单词连连看不规则动词表英语单词大全词汇量测试英语词根表成语词典汉语词典

分类词汇

水果蔬菜花哺乳动物家畜家禽爬行两栖禽鸟鱼类壳类动物昆虫树