(START) |- 0
0 ab* 1
1 (c+d)* 2
2 -| (FINAL)
