deltaStar
Example 1
Example 2
| > | nfa := mkNFA([q0, q1, q2, q3, q4, q5], [a1, a2, a3],
table([(q1, a2) = {q3}, (q1, a1) = {q0}, (q0, a2) = {q0}, (q3, lambda) = {q0, q3,q4,q5}, (q2, a1) = {q3}, (q0, a1) = {q0}, (q0,\lambda) = {q1,q3}, (q5,\lambda) = {q0,q1}, (q1,\lambda) = {q3}, (q4,a1)={q1}]), q0, [q3, q0]); transitionGraph(nfa); |
   |
 |
| > | deltaStarNFA(nfa,q5,\lambda,`walk`);walk; |
![[q0, q1, q3, q4, q5]](images/FOLA-demo_363.gif){kind=small} |
(6.2.1) |
![[[[q5, lambda]], [[q5, lambda]], [[q5, lambda], [q1, lambda]], [[q5, lambda], [q1, lambda], [q3, lambda]], []]](images/FOLA-demo_364.gif){kind=small} |
(6.2.1) |
| > | deltaStarNFA(nfa,q3,\lambda); |
![[q0, q1, q3, q4, q5]](images/FOLA-demo_365.gif){kind=small} |
(6.2.2) |
| > | nfa:=mkNFA([q0,q1,q2,q3,q4,q5,q6],[a,b],table([(q0,a)={q1},(q1,a)={q4},(q1,b)={q2},(q2,b)={q3},(q3,b)={q1},(q4,a)={q0},(q4,b)={q5},(q5,b)={q6},(q6,b)={q4}]),q0,[q1,q4,q5]); |
   |
(6.2.3) |
| > | deltaStarNFA(nfa,q0,a); |
![[q1]](images/FOLA-demo_369.gif){kind=small} |
(6.2.4) |