试根据PCP不可判定性证明过程,自己举例手工模拟证明过程。即找一个具体的图灵机M和一个串w,模拟证明过程,构造出一簇骨牌P。(注意,为了避免构造的繁琐,请选择一个简单的图灵机M和短一点的串w)...

可以考虑使用一个简单的图灵机M,如下:M = (Q, Σ, Γ, q0, F, δ)其中,Q={q0, q1, q2, q3},Σ={0, 1},Γ={B},q0=q0,F={q3},δ(q0, 0)=q1,δ(q1, 0)=q2,δ(q2, 0)=q3,δ(q3, 0)=q3,δ(q3, 1)=q3。并且可以选择一个简短的串w=0001,模拟证明过程,构造出一簇骨牌P:P={(q0, 0, B, q1), (q1, 0, B, q2), (q2, 0, B, q3), (q3, 0, B, q3), (q3, 1, B, q3)}。

猜你喜欢

转载自blog.csdn.net/weixin_42601547/article/details/129495929