Graph 在单磁带图灵机上查找回文而不更改单词

Graph 在单磁带图灵机上查找回文而不更改单词,graph,metaprogramming,turing-machines,Graph,Metaprogramming,Turing Machines,很容易找到用(Φ)替换两端字母的回文 可以将a更改为a,并在任务结束时将a更改为a。但是有没有人有主意,如何在不使用额外标志的情况下实现这一点 您可以将a更改为a,将b更改为b,您的结束字符将是大写字母。(取ascia值,如果它落在大写范围内,则知道结尾) 这假设您的输入完全是小写。您可以将a更改为a,将b更改为b,并且您的结束字符将是大写字母。(取ascia值,如果它落在大写范围内,则知道结尾) 这假设您的输入是完全小写的。对于磁带上的每个可能的符号(我假设是从有限集合中提取的),您需要一个状

很容易找到用(Φ)替换两端字母的回文


可以将a更改为a,并在任务结束时将a更改为a。但是有没有人有主意,如何在不使用额外标志的情况下实现这一点

您可以将a更改为a,将b更改为b,您的结束字符将是大写字母。(取ascia值,如果它落在大写范围内,则知道结尾)
这假设您的输入完全是小写。

您可以将a更改为a,将b更改为b,并且您的结束字符将是大写字母。(取ascia值,如果它落在大写范围内,则知道结尾)
这假设您的输入是完全小写的。

对于磁带上的每个可能的符号(我假设是从有限集合中提取的),您需要一个状态,我将其称为“$X_LOOKING”。从左端开始,将在那里找到的符号$X的状态设置为“$X_LOOKING”。向右移动,直到到达终点,然后查看它是否与$X匹配


当你向左转时,你必须停在第二个字母而不是第一个字母。为此,您可以跟踪您在磁带的另一个区域中查看了多少个字母。

对于磁带上的每个可能符号(我假设它们是从有限集合中提取的),您需要一个状态,我将其称为“$X_LOOKING”。从左端开始,将在那里找到的符号$X的状态设置为“$X_LOOKING”。向右移动,直到到达终点,然后查看它是否与$X匹配


当你向左转时,你必须停在第二个字母而不是第一个字母。为此,您可以跟踪在磁带的另一个区域中看到的字母数量。

移动结束字符可以帮助:

 ΦΦabaΦΦ
 ΦaΦbaΦΦ
 ΦaΦbΦaΦ YES


移动结束字符有助于:

 ΦΦabaΦΦ
 ΦaΦbaΦΦ
 ΦaΦbΦaΦ YES


不可能记录任何数字。这个集合是有限的,虽然它比两个多得多——要进行任何“跟踪”都是相当困难的。为什么你不能跟踪数字呢?你没有说磁带是不变的,只是磁带上的单词。不可能记录任何数字。这个集合是有限的,虽然它比两个多得多——要进行任何“跟踪”都是相当困难的。为什么你不能跟踪数字呢?你没有说磁带是不可更改的,只是磁带上的单词。我通过使用递归实现了这一点。如果您想向您发送解决方案,请发表评论。这是在专门的图灵机仿真程序中完成的,我使用递归实现了这一点。如果您想向您发送解决方案,请发表评论。这是在专门的图灵机仿真程序中完成的。
 ΦΦabbaΦΦ
 ΦaΦbbaΦΦ
 ΦaΦbbΦaΦ
 ΦabΦbΦaΦ
 ΦabΦΦbaΦ YES