150
个编辑
更改
跳到导航
跳到搜索
第929行：
第929行： − + − {{quote|根据人们在计算中喜欢操作的对象(非负整数或字母数字串等)，有两种模型在基于机器的复杂性理论中获得了主导地位：+ + − <blockquote>''the off-line multitape Turing machine''..., which represents the standard model for string-oriented computation, and the ''random access machine (RAM)'' as introduced by Cook and Reckhow ..., which models the idealized Von Neumann style computer.</blockquote>|van Emde Boas 1990:4}}+ − − − − 离线多带图灵机——它代表了面向字符串计算的标准模型，以及Cook和Reckhow提出的随机存取机(RAM) ，它是理想化的冯诺依曼式计算机的模型。 − - van Emde Boas 1990:4 }} − − {{quote|Only in the related area of analysis of algorithms this role is taken over by the RAM model.|van Emde Boas 1990:16}} − − {{quote|只有在算法分析的相关领域，这个角色才能被RAM模型所取代。 − − - van Emde Boas 1990:16. }}
→1970年至今：作为计算模型的图灵机
如今，计数器、寄存器和随机存取机以及它们的先驱图灵机仍然是理论家们研究计算理论问题的首选模型。特别是，计算复杂性理论也使用了图灵机。
如今，计数器、寄存器和随机存取机以及它们的先驱图灵机仍然是理论家们研究计算理论问题的首选模型。特别是，计算复杂性理论也使用了图灵机。
{{quote|Depending on the objects one likes to manipulate in the computations (numbers like nonnegative integers or alphanumeric strings), two models have obtained a dominant position in machine-based complexity theory:
{{quote|Depending on the objects one likes to manipulate in the computations (numbers like nonnegative integers or alphanumeric strings), two models have obtained a dominant position in machine-based complexity theory:}}
根据人们在计算中喜欢操作的对象(非负整数或字母数字串等)，有两种模型在基于机器的复杂性理论中获得了主导地位：
离线多带图灵机——它代表了面向字符串计算的标准模型，以及Cook和Reckhow提出的随机存取机(RAM) ，它是理想化的冯诺依曼式计算机的模型。- van Emde Boas 1990:4
只有在算法分析的相关领域，这个角色才能被RAM模型所取代。- van Emde Boas 1990:4
==See also==
==See also==