euclid.rul

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

q1 b	q4 b R
q1 1	q2 x N
q1 x	q1 x L
q1 y	q1 y L
q2 b	q3 b L
q2 1	q1 y N
q2 x	q2 x R
q2 y	q2 y R
q3 b	q1 b R
q3 1	q1 1 R
q3 x	q3 1 L
q3 y	q3 b L
q4 b	qf b L
q4 1	q1 1 L
q4 x	q4 b R
q4 y	q4 1 R