addm.rul

来自「The program simulates a Nondeterministic」· RUL 代码 · 共 19 行

q1 1	q1 1 R
q3 1	q3 1 R
q1 b	q2 b L
q2 1	qf b L
q3 *	q1 1 N
q0 1	q4 x R
q0 *	q5 x R		
q4 1	q4 1 R
q4 *	q5 1 R
q4 b	q6 1 L
q4 x	q3 x R
q5 1	q4 * R
q5 *	q5 * R
q5 b	q6 * L
q5 x	q3 x R
q6 1	q6 1 L
q6 *	q6 * L
q6 x	q3 x R