我读了许多关于图灵机器的东西，并了解它是如何工作的，但我无法掌握（以及没有任何书似乎试图教导）是我应该如何处理我给予的问题解决？我的意思是：检查一个单词是否是回文，例如，由我正在学习的书中的11个状态组成。对于我目前的知识状态，至少可以说，只是坐在一张空纸上并提出所有这些状态似乎几乎是不可能的。当我尝试做这样的事情时，我立即陷入困境，因为我不知道该怎么做才能使这些状态以某种方式“一起”工作。我在编程时没有这样的问题，但在这里，我只是想不通知我应该如何处理由一些非青少年状态组成的东西。能否请您指点一下去了解它？
答案 0 :(得分：0)
图灵机是一种建筑模型，距离冯诺依曼机器不远。因此，它是一个非常低级的计算模型，也是解决使用它们编程问题的最佳方法，采用与传统硬件相同的技术，即通过抽象。
据信，图灵机不是成分，但事实并非如此。将图灵机的过渡功能结合起来实现顺序组合，条件和循环并不困难。然后，从一个基本机器的小型库开始，进行字符比较，字符交换和类似的操作，你可能会构建非常复杂的程序。
我们使用这种技术编写通用图灵机，并在Matita Proof Assistant（类似于Coq的系统）中证明其正确性。 参考文献是：
Asperti，Ricciotti“多功能图灵机的形式化”，TCS 603,2015。