(START) |- 0
0 q 1
0 x 0
1 z 2
2 q 3
3 z 0
3 x 3
0 -| (FINAL)
1 -| (FINAL)
2 -| (FINAL)
3 -| (FINAL)
(START) |- 4
4 a 5
5 b 6
6 -| (FINAL)
