图灵机接受具有相同开始和结束长度的字符串

Question

我需要帮助为此语言

创建单个磁带确定性图灵机

这里我不确定如何确定TM将接受哪些字符串。如何使机器接受a = c的字符串？因为b部分包含来自a和c的元素。

Answer 1

也许您可以尝试调整接受palidromes的机器：您在左边读取一个字符。如果它属于{0,1}，则删除它并向右移动（最后一个字符）。如果角色属于{2,3}，则删除它并返回左侧（第一个角色）。重复此操作，直到找到不属于“a”或“c”侧的字符（如果在左侧，则检查最后一个字符），其余字符应属于“b”块。