symbols: [q,x,z]
states:  3
finals:  3
head: 1 1
7 5+7 3
5 1
7 1+7 7
7 3
7 3
7 1
7 3
0 1
7 7
