symbols: [a,b,c,d,e,f,g]
states:  3
finals:  1
head: 3 2
0 1
7 1
7 4
0 1
7 5
0 1
7 1
0 1
0 1
7 4
7 3
7 5
7 7
0 1
7 1
7 1
0 1
7 3
7 5
0 1
0 1
