#states
s2s4s3s1s5s4s1s5s3
s0
x
#initial
s0
#accepting
s2s4s3s1s5s4s1s5s3
s0
#alphabet
b
d
c
a
#transitions
s2s4s3s1s5s4s1s5s3:b>s2s4s3s1s5s4s1s5s3
s2s4s3s1s5s4s1s5s3:d>s2s4s3s1s5s4s1s5s3
s2s4s3s1s5s4s1s5s3:c>s2s4s3s1s5s4s1s5s3
s2s4s3s1s5s4s1s5s3:a>s2s4s3s1s5s4s1s5s3
x:b>x
x:d>x
x:c>x
x:a>x
s0:b>x
s0:d>s2s4s3s1s5s4s1s5s3
s0:c>s2s4s3s1s5s4s1s5s3
s0:a>x
