Turing machines 图灵机配置
我是图灵机器的新手,有一个问题难倒了我。给我一个图灵机:m=(Q,∑,Γ,δ,Q),这样Q={Q,r,s,t},∑={a.b.c},Γ={b,a,b,c}和δ由以下定义:[Q,a,r,b,r],[Q,b,r,a,r],Q,c,t,c,r],[t,a,t,a,a,a,r],[t,b,t,t,b,t,t,t,b,s,b,r]Turing machines 图灵机配置,turing-machines,formal-languages,computation,Turing Machines,Formal Languages,Computation,我是图灵机器的新手,有一个问题难倒了我。给我一个图灵机:m=(Q,∑,Γ,δ,Q),这样Q={Q,r,s,t},∑={a.b.c},Γ={b,a,b,c}和δ由以下定义:[Q,a,r,b,r],[Q,b,r,a,r],Q,c,t,c,r],[t,a,t,a,a,a,r],[t,b,t,t,b,t,t,t,b,s,b,r] 我被问到m是否在输入abba上停止,如果是,写下m停止的配置。答案是假设是brbba,我不明白这是如何配置的。状态符号如何成为配置的一部分?任何帮助都将不胜感激 配置包括:
我被问到m是否在输入abba上停止,如果是,写下m停止的配置。答案是假设是brbba,我不明白这是如何配置的。状态符号如何成为配置的一部分?任何帮助都将不胜感激 配置包括:
- 现状
- 读/写磁头的位置
- 磁带内容
r
bbba
或者b[rb]ba,如果你喜欢的话