49
个编辑
更改
跳到导航
跳到搜索
第226行：
第226行： − + − − − 【最终版】其他时候，这些程序员应用最小功率规则——他们故意使用一种不是完全图灵完备的计算机语言。通常情况下，这些都是保证语言子程序完成,如+ − − .．.所涉及的量应该使人怀疑，主要基于状态图的有限性的定理和论证可能没有太大的意义。
→Common pitfalls常见的陷阱
明斯基指出，尽管机器可能是有限的，而有限自动机“有一些理论局限性”:
明斯基指出，尽管机器可能是有限的，而有限自动机“有一些理论局限性”:
Other times these programmers apply the [[rule of least power]]—they deliberately use a computer language that is not quite fully Turing-complete. Frequently, these are languages that guarantee all subroutines finish, such as [[Coq]].{{cn|date=May 2017}}
Other times these programmers apply the [[rule of least power]]—they deliberately use a computer language that is not quite fully Turing-complete. Frequently, these are languages that guarantee all subroutines finish, such as ...the magnitudes involved should lead one to suspect that theorems and arguments based chiefly on the mere finiteness [of] the state diagram may not carry a great deal of significance. (Minsky p. 25)
...the magnitudes involved should lead one to suspect that theorems and arguments based chiefly on the mere finiteness [of] the state diagram may not carry a great deal of significance. (Minsky p. 25)
所涉及的程度会使人怀疑，主要基于状态图的有限性的定理和论证可能没有多大意义。
所涉及的程度会使人怀疑，主要基于状态图的有限性的定理和论证可能没有多大意义。
【最终版】其他时候，这些程序员应用最小功率规则——他们故意使用一种完备的计算机语言但是里面所包含的图灵机确是不完备的。通常情况下，这些语言都是为了保证子程序的完成，其中所涉及的量级甚至使人怀疑，那些量级主要基于状态图的有限性定理，这些状态图本身可能没有携带太大的意义。
=== Common pitfalls常见的陷阱 ===
=== Common pitfalls常见的陷阱 ===