#states
s1s3s2
s1s2
s0
s0s2
x
s0s1s3s2
s3
#initial
s0
#accepting
s1s3s2
s1s2
s0s2
s0s1s3s2
s3
#alphabet
b
c
a
#transitions
s0s1s3s2:b>s1s2
s0s1s3s2:c>s0s1s3s2
s0s1s3s2:a>s1s3s2
s0:b>x
s0:c>x
s0:a>s3
s1s2:b>x
s1s2:c>s0s2
s1s2:a>s1s2
s1s3s2:b>s1s2
s1s3s2:c>s0s1s3s2
s1s3s2:a>s1s2
x:b>x
x:c>x
x:a>x
s3:b>s1s2
s3:c>s1s3s2
s3:a>x
s0s2:b>x
s0s2:c>x
s0s2:a>s3
