Macros 图灵机器中的宏究竟是如何工作的?

Macros 图灵机器中的宏究竟是如何工作的?,macros,computation-theory,turing-machines,Macros,Computation Theory,Turing Machines,我这里有一张我的教科书(Sudkamp,3e)的截图,我试图了解宏是如何与图灵机器一起使用的。我很难掌握它,尤其是因为我以前从未学习过宏。如果有人能帮我解释一下,我将不胜感激 我唯一真正理解的是,CPY只是复制输入,然后就变成了3N。否则,我真的不知道如何得出这个结论。如果我说得太含糊,我可以尽量说得更具体一些,让我知道 对于特定问题:是的,通过CPY可以得到三倍于n的值。为了计算f(n)=3n,机器然后通过加法A计算n+n+n=3n 一般来说,关于宏:它们实际上并没有按照图表所示的方式工作。在

我这里有一张我的教科书(Sudkamp,3e)的截图,我试图了解宏是如何与图灵机器一起使用的。我很难掌握它,尤其是因为我以前从未学习过宏。如果有人能帮我解释一下,我将不胜感激

我唯一真正理解的是,CPY只是复制输入,然后就变成了3N。否则,我真的不知道如何得出这个结论。如果我说得太含糊,我可以尽量说得更具体一些,让我知道


对于特定问题:是的,通过CPY可以得到三倍于n的值。为了计算f(n)=3n,机器然后通过加法A计算n+n+n=3n


一般来说,关于宏:它们实际上并没有按照图表所示的方式工作。在另一台机器的计算中,不能仅仅将一台用于复制的机器放在一个“位置”。需要对字母表、启动状态等进行自适应。问题是,TMs程序变得非常大,许多状态转换等,并且无法读取。因此,我们假设原则上可以进行这些小的调整。现在,我们不再详细指定复杂的机器,而是将这些宏用于已显示为可由TM计算的任务(如复制和添加)。由此产生的描述更容易理解。有点像高级编程语言,您可以使用复杂的结构和数据结构,而不必关心它们的汇编程序实现

教科书中说:定义用于计算函数的图灵机可以像宏一样用于复合机的设计。