#states
x
13
02
2
#initial
02
#accepting
2
02
#alphabet
b
a
#transitions
2:b>13
2:a>x
x:b>x
x:a>x
13:b>13
13:a>2
02:b>13
02:a>13
