Theory 图灵机是一个真实的装置还是一个虚构的概念？

当我学习图灵机器和PDA时，我认为第一个计算设备是图灵机器

因此，我认为存在一种称为图灵机的实用机器，它的状态可以用一些特殊设备（比如触发器）来表示，它可以接受磁带作为输入

因此我问，但根据我书中给出的答案和细节，我知道图灵机器在某种程度上是假设的

我的问题是，图灵机器如何实际实现？例如，它如何用于检查当前处理器中的拼写错误

---

图灵机器过时了吗？还是仍在使用？

这是一种无法实现的概念性设备（由于无限磁带的要求）。有些人已经建立了图灵机器的物理实现，但由于物理限制，它不是真正的图灵机器

---

这里有一段视频：

这是一台理论机器，下面一段来自维基百科

图灵机是一种理论上的设备，它根据规则表操纵一条磁带上的符号。尽管图灵机很简单，但它可以用来模拟任何计算机算法的逻辑，并且在解释计算机内部CPU的功能时特别有用

---

这台机器以及其他机器，如非确定性机器（不存在于现实中）在计算复杂性方面非常有用，并证明一种算法比另一种算法更难，或者一种算法不可解……等等

当图灵最初设计出现在称为图灵机器的东西时，他这样做纯粹是出于理论原因（它们被用来证明不可判定问题的存在）并且没有在现实世界中实际构建一个。快进到现在，除了业余爱好者为了好玩而构建图灵机外，TMs基本上局限于理论领域

由于几个原因，图灵机没有在实践中使用。对于初学者来说，不可能构建真正的TM，因为构建无限磁带需要无限的资源。（您可以想象使用有限数量的磁带构建TMs，然后根据需要添加更多磁带。）此外，由于数据访问的顺序性，图灵机天生比其他计算模型慢。例如，图灵机不能在不首先遍历要跳过的数组的所有元素的情况下跳入数组的中间。除此之外，图灵机非常难以o设计。例如，尝试编写一个图灵机对32位整数列表进行排序。（实际上，请不要这样做。这真的很难！）

这就引出了一个问题……为什么要研究图灵机器？幸运的是，有大量的理由这样做：

因为图灵机器能够模拟地球上的任何计算机（或者，根据丘奇·图灵论文，任何物理上可实现的计算设备），如果我们能展示图灵机器所能计算的极限，我们就能展示在实际计算机上所能实现的极限

将算法的定义形式化。为什么二进制搜索是一种算法，而“猜测答案”语句是一种算法不是吗？为了回答这个问题，我们必须有一个关于计算机是什么以及算法意味着什么的正式模型。将图灵机作为计算模型可以让我们严格定义算法是什么。实际上从来没有人想将算法翻译成这种格式，但这样做的能力给了算法领域以新的定义rithms和可计算性理论奠定了坚实的数学基础

将确定性和非确定性算法的定义形式化。目前计算机科学中最大的开放性问题可能是。这个问题只有在对p和NP有一个正式定义时才有意义，而这反过来又需要定义确定性和非确定性计算（虽然从技术上讲，它们可以使用二阶逻辑进行定义）有了图灵机器，我们就可以讨论NP中的重要问题，同时也为我们提供了一种找到NP完全问题的方法。例如，证明SAT是NP完全的证据使用了这样一个事实，即SAT可以用来编码图灵机器，并在输入上执行

---

希望这能有所帮助！

图灵机器并非完全是物理机器，而是基本上是概念机器。图灵概念是一种假设，在现实世界中很难实现，因为我们也需要无限的磁带来实现小型和简单的解决方案。

图灵机器（TM）是一个用于计算设备的数学模型。它是能够真正计算的最小模型。事实上，您使用的计算机是一个非常大的TM。TM并没有过时。我们有其他计算模型，但这一模型用于构建当前的计算机，因此，我们非常感谢艾伦·图灵，他在1936年提出了这个模型。

图灵机是否过时了？或者它在当前日期是如何使用的？他们在理论上说“无限磁带”bcz可以推广到所有情况。但我想我们知道我们案例的输入或堆栈需要多长时间。（至少大约）它们是为研究算法计算而创建的数学概念。它们不能“过时”，因为它们只是一个想法。研究计算的另一个想法来自阿隆佐·丘奇（Alonzo Church）及其Lambda微积分。它们不是真正的机器，而是用于证明和研究的抽象概念。它在当前日期中是如何使用的当你给出一个实际的例子时，我会更好。图灵机器是研究什么？在哪里使用PDA？PDA是在图灵机器中实现的，因为他们使用PDA