(START) |- 0
0 q 1
0 x 0
1 z 2
2 q 3
3 x 3
3 z 0
0 -| (FINAL)
1 -| (FINAL)
2 -| (FINAL)
3 -| (FINAL)
