Reversion
| > | nfa:=mkNFA({q0,q1},{0,1},table([(q0,0)={q1},(q1,\lambda)={q1}]),q0,{q1});
reverseNFA(nfa); |
![`:=`(nfa, NFA({q1, q0}, {0, 1}, TABLE([(q0, 0) = {q1}, (q1, lambda) = {q1}]), q0, {q1}))](images/FOLA-demo_413.gif){kind=small} |
(6.9.1) |
![NFA({q1, q0}, {0, 1}, TABLE([(q1, 0) = {q0}, (q1, lambda) = {q1}]), q1, {q0})](images/FOLA-demo_414.gif){kind=small} |
(6.9.1) |
| > | nfa:=mkNFA({q0,q1,q2},{0,1},table([(q0,0)={q1},(q0,1)={q2},(q1,\lambda)={q1}]),q0,{q1});
reverseNFA(nfa); |
![`:=`(nfa, NFA({q1, q2, q0}, {0, 1}, TABLE([(q0, 0) = {q1}, (q0, 1) = {q2}, (q1, lambda) = {q1}]), q0, {q1}))](images/FOLA-demo_415.gif){kind=small} |
(6.9.2) |
![NFA({q1, q2, q0}, {0, 1}, TABLE([(q1, 0) = {q0}, (q2, 1) = {q0}, (q1, lambda) = {q1}]), q1, {q0})](images/FOLA-demo_416.gif){kind=small} |
(6.9.2) |
| > | nfa:=mkNFA({q0,q1},{0,1},table([(q0,0)={q1},(q0,\lambda)={q0},(q1,1)={q0}]),q0,{q0});
reverseNFA(nfa); |
![`:=`(nfa, NFA({q1, q0}, {0, 1}, TABLE([(q0, lambda) = {q0}, (q0, 0) = {q1}, (q1, 1) = {q0}]), q0, {q0}))](images/FOLA-demo_417.gif){kind=small} |
(6.9.3) |
![NFA({q1, q0}, {0, 1}, TABLE([(q0, lambda) = {q0}, (q1, 0) = {q0}, (q0, 1) = {q1}]), q0, {q0})](images/FOLA-demo_418.gif){kind=small} |
(6.9.3) |
| > | nfa:=randomNFA(6,3,2);
transitionGraph(nfa); nfa2:=reverseNFA(nfa); transitionGraph(nfa2); |
   |
 |
    |
 |
| > | type(nfa,NFA); |
 |
(6.9.4) |
| > |