我在解释这个图灵机实际上做了什么时遇到了一些麻烦(即,我不确定如何用简单的英语解释它。)
我相信我已经使用我给出的转换表正确创建了状态图(尽管不是100%)。
从我所看到的情况来看,只要输入格式为
,TM就会在接受状态(q2)
停止
(a || b || B)*Ba*c(a || b || c || B)*
,
任意数量的a
,b
和空白(但没有c
),后跟至少一个空白,任意数量的{{ 1}},只有一个a
。自从我们在找到第一个c
后离开之后,任何事情都会发生。
我想我的问题是
a)我的工作到目前为止是否正确?和
b)是否对此图灵机有更有意义的解释(即比我在c
中停止输入的描述更丰富。)
答案 0 :(得分:0)
一些观察结果:
鉴于初始磁带配置> BxBycz,机器将始终在配置中停止> BxB(a ^ | y |)cz。它接受包含c。
的任何字符串您的状态图与表格不一致,表格中定义了过渡函数,因此f(q1,a)=(q0,b,L)和f(q1,b)=(q1,a,L) ,但你的图表显示f(q1,a)=(q1,a,L)和f(q1,b)=(q0,b,L)。