resultado_sin_detalles.txt

!DFA
#alphabet
a-d
#states
s0
s1
s2
s3
s4
limbo
#initial
0
#accepting
s1
s2
#transitions
s0:b>s1
s0:a>s1
s0:d>limbo
s0:c>limbo
s1:a>s0
s1:b>s0
s1:d>limbo
s1:c>limbo
s2:d>limbo
s2:c>limbo
s2:b>limbo
s2:a>limbo
s3:d>limbo
s3:c>limbo
s3:b>limbo
s3:a>limbo
s4:d>limbo
s4:c>limbo
s4:b>limbo
s4:a>limbo
#inaccessible

#limbo