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