Examples 

>	dfa5a:=mkNFA({q0, q1, q2, q7, q4, q5, q3, q6},{"0", "1"},table([(q2, "0") = {q2, q3}, (q2, "1") = {q4, q3}, (q7, "1") = {q1, q2}, (q7, "0") = {q0, q6}, (q1, "0") = {q0, q7}, (q0, "0") = {q3, q6}, (q0, lambda) = {q7}]),q0,{q5, q3});

 

(8.1.1.1)

 

>

## NO lambda dfa5a:=mkNFA({q0, q1, q2, q7, q4, q5, q3, q6},{"0", "1"},table([(q1, lambda) = {q5}, (q7, "0") = {q2, q5}, (q7, "1") = {q7, q3}, (q2, "0") = {q5, q3}, (q0, "1") = {q1, q6}, (q2, lambda) = {q1}, (q1, "1") = {q7, q3}, (q1, "0") = {q5, q3}, (q0, "0") = {q0, q3, q6}, (q0, lambda) = {q3}]),q0,{q1, q2});

 

(8.1.1.2)

 

>	## NO lambda dfa5a:=mkNFA({q0, q1, q2, q7, q4, q5, q3, q6},{"0", "1"},table([(q7, "0") = {q1, q7}, (q2, "0") = {q0, q7, q5}, (q0, "1") = {q5, q6}, (q1, "1") = {q7, q4}, (q1, "0") = {q1, q5}, (q0, "0") = {q1, q7}]),q0,{q2, q4});

 

(8.1.1.3)

 

>	dfa5a:=mkNFA({q0, q1, q2, q7, q4, q5, q3, q6}, {"0", "1"}, table([(q7, "0") = {q1, q5, q6}, (q2, "0") = {q1}, (q0, "1") = {q4, q6}, (q4, "0") = {q5, q6}, (q0, lambda) = {q2}, (q1, "0") = {q4, q3}, (q0, "0") = {q0, q5}]), q0, {q5, q6});

 

(8.1.1.4)

 

>	dfa5a:=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});

 

(8.1.1.5)

 

>

dfa5a:=mkNFA({q0, q1, q2, q7, q4, q5, q3, q6},{"0", "1"},table([(q2, lambda) = {q5}, (q7, "0") = {q0, q3}, (q7, lambda) = {q5}, (q2, "0") = {q0, q3}, (q4, "0") = {q2, q5}, (q4, lambda) = {q3}, (q0, "1") = {q4, q5}, (q1, lambda) = {q2}, (q1, "1") = {q0, q1, q6}, (q5, "0") = {q2}, (q1, "0") = {q1, q3}, (q0, "0") = {q7, q3}, (q0, lambda) = {q3}]),q0,{q1, q7});

 

>

dfa5a:=mkNFA({q0, q1, q2, q7, q4, q5, q3, q6},{"0", "1"},table([(q1, lambda) = {q5}, (q7, "0") = {q3}, (q2, "0") = {q3, q6}, (q7, "1") = {q1, q4, q6}, (q2, "1") = {q5, q3, q6}, (q1, "0") = {q2, q4}, (q0, "0") = {q0, q7}, (q4, "0") = {q2, q6}, (q1, "1") = {q0, q4}, (q0, lambda) = {q3}]),q0,{q0, q4});

 

>	dfa5a:=mkNFA({q0, q1, q2, q7, q4, q5, q3, q6},{"0", "1"},table([(q1, lambda) = {q0}, (q7, "0") = {q1, q7, q5}, (q2, "0") = {q0, q6}, (q7, "1") = {q0, q6}, (q2, lambda) = {q5}, (q1, "0") = {q1, q7}, (q0, "0") = {q0, q1}, (q7, lambda) = {q2}, (q0, lambda) = {q6}]),q0,{q2, q3});

 

>	dfa5a:=mkNFA({q0, q1, q2, q4, q5, q3},{"0", "1"},table([(q0, "1") = {q0, q2}, (q1, "1") = {q0, q1, q2}, (q2, "0") = {q5}, (q1, "0") = {q2, q4}, (q0, "0") = {q1, q5}, (q4, "0") = {q4, q5}]),q0,{q1, q4}):

 

>	dfa5a:=mkNFA({q0, q1, q2, q4, q5, q3},{"0", "1"},table([(q4, "0") = {q1, q4}, (q0, lambda) = {q2}, (q5, "1") = {q1, q3}, (q2, "0") = {q1, q2}, (q2, "1") = {q4, q5}, (q5, "0") = {q1, q5}, (q1, "0") = {q1}, (q0, "0") = {q0, q5}]),q0,{q2, q4});

 

>	dfa5a:=mkNFA({q0, q1, q2, q4, q5, q3},{"0", "1"},table([(q1, lambda) = {q3}, (q0, lambda) = {q3}, (q2, "0") = {q5}, (q2, "1") = {q0, q1}, (q1, "0") = {q4, q5, q3}, (q0, "0") = {q1, q2, q3}]),q0,{q2, q4});

 

>

dfa5a:=mk

 

>

dfa5a:=mk