@example 1: $ more nfa (start) |- 0 0 a 1 0 a 2 2 -| (final) $ ./nfatodfa nfa (START) |- 0 0 a 1 1 -| (FINAL) @example 2: $ ./nfatodfa (start) |- 0 0 a 1 0 a 2 2 -| (final) (START) |- 0 0 a 1 1 -| (FINAL)