多带图灵机

The name of the pictureThe name of the pictureThe name of the pictureClash Royale CLAN TAG#URR8PPP




多带图灵机和图灵机类似,唯一的不同在于它可以有 k>1displaystyle k>1k > 1 条纸带,每条纸带上
都有一个读写头。其状态转移函数 δdisplaystyle delta delta 修改为:


δ:Q×Γk→Q×Γk×L,Rkdisplaystyle delta :Qtimes Gamma ^kto Qtimes Gamma ^ktimes L,R^kdisplaystyle delta :Qtimes Gamma ^kto Qtimes Gamma ^ktimes L,R^k

此处 kdisplaystyle kk 是带子的数目。表达式


δ(q,x1,x2,…,xk)=(q′,x1′,x2′,…,xk′,m1,m2,…,mk)displaystyle delta (q,x_1,x_2,ldots ,x_k)=(q',x'_1,x'_2,ldots ,x'_k,m_1,m_2,ldots ,m_k)displaystyle delta (q,x_1,x_2,ldots ,x_k)=(q',x'_1,x'_2,ldots ,x'_k,m_1,m_2,ldots ,m_k)

其中 midisplaystyle m_im_i = L 或 R,
说明若机器处于状态 qdisplaystyle qq
读写头 1,2,…,kdisplaystyle 1,2,ldots ,kdisplaystyle 1,2,ldots ,k 所读出的符号分别为x1,x2,…,xkdisplaystyle x_1,x_2,ldots ,x_kdisplaystyle x_1,x_2,ldots ,x_k
则转移到新状态 q′displaystyle q'q'
将读写头 1,2,…,kdisplaystyle 1,2,ldots ,kdisplaystyle 1,2,ldots ,k 下的符号分别修改为 x1′,x2′,…,xk′displaystyle x'_1,x'_2,ldots ,x'_kdisplaystyle x'_1,x'_2,ldots ,x'_k
并将读写头 idisplaystyle ii 按照 midisplaystyle m_im_i 所指示的方向移动,
mi=Ldisplaystyle m_i=Ldisplaystyle m_i=L 读写头 idisplaystyle ii 向左移,
mi=Rdisplaystyle m_i=Rdisplaystyle m_i=R 读写头 idisplaystyle ii 向右移。


可以证明,对于任意一个多带图灵机 Mdisplaystyle MM ,存在一个单带图灵机 M′displaystyle M'M' ,满足 L(M)=L(M′)displaystyle L(M)=L(M')L(M)=L(M')






Popular posts from this blog

倭马亚王朝

Gabbro

托萊多 (西班牙)