このチューリングマシンの全ての規則のうちから任意の同じでない2個の規則[q1,b1,c1,q'1]と[q2,b2,c2,q'2]を選んだ時に、