part.rul

The program simulates a Nondeterministic Multitape Turing Machine. It works as ordinary (Determinist

q0 1 b b	q1 1 N x R x R
q1 1 b b	q2 1 R b N b N
q1 1 b b	q3 1 R b N b N
q2 0 b b	q2 0 R 0 R b N
q2 1 b b	q1 1 N b N b N
q2 b b b	q4 b N b L b L
q3 0 b b	q3 0 R b N 0 R
q3 1 b b	q1 1 N b N b N
q3 b b b	q4 b N b L b L
q4 b 0 0	q4 b N 0 L 0 L
q4 b x x	q5 b N x N x N