For the specific problem: yes, via CPY you get three times n. For computing f(n) = 3n the machine then computes n+n+n = 3n via the addition A.
关于一般宏:它们并没有真正按照图中建议的方式工作。你不能只是把一台机器复制到另一台机器计算的“地方”。需要对字母表、开始状态等进行调整。问题是使用 TM 程序变得非常大,许多状态转换等并且不可读。所以我们假设这些小的调整原则上是可以完成的。现在我们不再详细指定复杂的机器,而是将此类宏用于已被 TM 证明可计算的任务(如复制和添加)。结果描述更容易理解。有点像高级编程语言,您可以在其中使用复杂的构造和数据结构,而无需关心它们的汇编器实现。
本文收集自互联网,转载请注明来源。
如有侵权,请联系[email protected] 删除。
我来说两句