lambdaClausuraTest.NFE

#!nfe
#alphabet
a-b
#states
s0
s1
s2
s3
s4
s5
s6
#initial
s0
#accepting
s2
s5
#transitions
s0:$>s1;s2
s1:a>s5
s1:b>s0
s1:$>s0;s5
s2:a>s2
s2:b>s3
s2:$>s4
s4:$>s4
s5:b>s6
s5:$>s4
s6:$>s2