resultado_con_detalles.txt

!NFA
#alphabet
a-c
$
#states
s0
s1
s2
s3
#initial
s0
#accepting
s0
s1
s3
#transitions
s0:b>s1
s0:$>s0;s1
s1:a>s0
s1:b>s2;s3
s1:$>s2;s3
s2:a>s2;s3
s2:$>s2
s3:c>s1
s3:$>s1;s2
#inaccessible