“…( q1, (11,12,12,11,12,12), (20,1,16,20,16,16) ) → ( q1, ( , 17, 17, , 17, 17) ) ( q1, (11,12,12,11,12,12), (20, 16, 1, 20, 16, 16) ) → ( q1, ( , 17, 17, , 17, 17) ) ( q1, (11,12,12,11,12,12), (20, 1, 16, 20, 1, 16) ) → ( q2, ( , 13, 17, , 13, 17) ) ( q1, (11,12,12,11,12,12), (20, 16, 1, 20, 16, 1) ) → ( q2, ( , 17, 13, , 17, 13) ) ( q2, (11,13,17,11,13,17), (20,14,16,20,14,16) ) → ( q2, ( , , 15, , , 15) ) ( q2, (11,17,13,11,17,13), (20,16,14,20,16,14) ) → ( q2, ( , 15, , , 15, ) ) ( ...…”