mult.rul

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

q0 1	q1 b R
q1 1	q1 1 R
q1 *	q2 * R
q2 1	q2 x R
q2 b	q2 * L
q2 x	q2 x L
q2 *	q3 * R
q3 x	q4 1 R
q3 1	q3 1 R
q3 *	q7 * L
q4 x	q4 x R
q4 *	q4 * R
q4 1	q4 1 R
q4 b	q5 1 L
q5 1	q5 1 L
q5 *	q6 * L
q6 x	q6 x L
q6 1	q3 1 R
q7 1	q7 x L
q7 *	q8 * L
q8 1	q8 1 L
q8 b	q0 b R
q0 *	q9 b R
q9 x	q9 b R
q9 *	qf b L