Warning: file_get_contents(/data/phpspider/zhask/data//catemap/1/ssh/2.json): failed to open stream: No such file or directory in /data/phpspider/zhask/libs/function.php on line 167

Warning: Invalid argument supplied for foreach() in /data/phpspider/zhask/libs/tag.function.php on line 1116

Notice: Undefined index: in /data/phpspider/zhask/libs/function.php on line 180

Warning: array_chunk() expects parameter 1 to be array, null given in /data/phpspider/zhask/libs/function.php on line 181
Turing machines 图灵机配置_Turing Machines_Formal Languages_Computation - Fatal编程技术网

Turing machines 图灵机配置

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=(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,我不明白这是如何配置的。状态符号如何成为配置的一部分?任何帮助都将不胜感激

配置包括:

  • 现状
  • 读/写磁头的位置
  • 磁带内容
当r显示当前状态和头部位置时,brbba指示所有三个。一种不太紧凑的两行书写方式是:

 r
bbba
或者b[rb]ba,如果你喜欢的话