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