q1q2q3=?q4q5q6
(1),=,q1=?q7;
(1.1),=,q8;
(1.2),≠,q7.
(2),≠,q1q2q4=?q7q8q6
(2.1),=,q1=?q3
(2.1.1),=,q5
(2.1.2),≠,q3
(2.2),≠,这里需要留意第一次不等时的状态,如果和第一次的状态相同(比如左轻右重)
说明要么是q6要么是q1q2;如果和第一次的状态不同,说明是q4;
然后(2.2.2),q1q6=?q7q8,如果平衡,就是q2;如果状态和第一二次相同,说明是q1;状态不同于前两次,就是q6