un2bin.rul

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

q2 1	q2 1 R
q2 0	q2 0 R
q2 |	q2 | R
q2 b	q3 b L
q3 |	q4 b L
q4 |	q4 | L
q4 1	q4 0 L
q4 0	q5 1 L
q5 0	q5 0 L
q5 1	q5 1 L
q5 b	q2 b R
q4 b	q2 1 N
q1 |	q2 1 N
q3 0	q3 0 L
q3 1	q3 1 L
q3 b	qf b R