Coś w tym stylu:
S0: Testujesz R, jeśli jest 1 to skaczesz w S1 w innym wypadku w S2 i w obu przypadkach idziesz w prawo
S1: (mamy R=1) Pomijasz komórkę, skaczesz w S3 i idziesz w prawo
S2: (mamy R=0) Testujesz T i jeśli jest 1 to skaczesz w S3, a jeśli jest 0 to skaczesz w S4 i w obu przypadkach idziesz w prawo
S3: (mamy R v T = 1) Testujesz S i jeśli jest 1 to skaczesz w S5, jeśli jest 0 to skaczesz w S6 i w obu przypadkach idziesz w prawo
S4: (mamy R v T = 0) Testujesz S i jeśli jest 1 to skaczesz w S6, a jeśli jest 0 to skaczesz w S5 i w obu przypadkach idziesz w prawo
S5: (mamy R v T xor S = 0) Wpisujesz na taśmie 0 i skaczesz w stan końcowy
S6: (mamy R v T xor S = 1) Wpisujesz na taśmie 1 i skaczesz w stan końcowy