Source of the RE
| > | nfa5a:=mkNFA({q0, q1, q2, q7, q4, q5, q3, q6},{"0", "1"},table([(q7, "0") = {q0, q1}, (q2, "0") = {q3}, (q1, lambda) = {q3}, (q0, "1") = {q0, q1}, (q1, "1") = {q2, q4, q5}, (q1, "0") = {q2, q4}, (q7, "1") = {q2, q6}, (q0, "0") = {q0, q4}, (q0, lambda) = {q3}]),q0,{q4, q5}); |
   |
(17.1.2.1.1) |
| > | s1:=NFA2RE(nfa5a,result=string); |
| > | s2:=NFA2RE(minimalDFA(NFA2DFA(nfa5a)),result=string); |
 |
(17.1.2.1.2) |
 |
(17.1.2.1.2) |