(VAR x1 )
(RULES 
        q0(0(x1)) -> 0'(q1(x1))
        q1(0(x1)) -> 0(q1(x1))
        q1(1'(x1)) -> 1'(q1(x1))
        0(q1(1(x1))) -> q2(0(1'(x1)))
        0'(q1(1(x1))) -> q2(0'(1'(x1)))
        1'(q1(1(x1))) -> q2(1'(1'(x1)))
        0(q2(0(x1))) -> q2(0(0(x1)))
        0'(q2(0(x1))) -> q2(0'(0(x1)))
        1'(q2(0(x1))) -> q2(1'(0(x1)))
        0(q2(1'(x1))) -> q2(0(1'(x1)))
        0'(q2(1'(x1))) -> q2(0'(1'(x1)))
        1'(q2(1'(x1))) -> q2(1'(1'(x1)))
        q2(0'(x1)) -> 0'(q0(x1))
        q0(1'(x1)) -> 1'(q3(x1))
        q3(1'(x1)) -> 1'(q3(x1))
        q3(b(x1)) -> b(q4(x1))
        
)