symbols: [a,b]
states:  2
finals:  3
head: 3 2
3 3
0 1
0 1
3 1
