# An ε-NFA. ε a b → sâ‚€ {} {sâ‚} {sâ‚€ sâ‚‚} sâ‚ {sâ‚‚} {sâ‚„} {s₃} sâ‚‚ {} {sâ‚ sâ‚„} {s₃} s₃ {sâ‚…} {sâ‚„ sâ‚…} {} sâ‚„ {s₃} {} {sâ‚…} * sâ‚… {} {sâ‚…} {sâ‚…} # to dfa: # a b # -> {s0} {s1 s2} {s0 s2} # {s1 s2} {s1 s2 s3 s4 s5} {s3 s5} # {s0 s2} {s1 s2 s3 s4 s5} {s0 s2 s3 s5} # * {s1 s2 s3 s4 s5} {s1 s2 s3 s4 s5} {s3 s5} # * {s3 s5} {s3 s4 s5} {s5} # * {s0 s2 s3 s5} {s1 s2 s3 s4 s5} {s0 s2 s3 s5} # * {s3 s4 s5} {s3 s4 s5} {s5} # * {s5} {s5} {s5} # renamed states: (see eq_to_nfa1.dfa) # a b # -> a b c # b d e # c d f # * d d e # * e g h # * f d f # * g g h # * h h h