(START) |- 0
0 a* 1
0 b* 2
0 c* 3
1 bb* 3
2 cc* 3
3 -| (FINAL)
