Example 2 

>	nfa:=mkNFA([q0,q1,q2,q3,q4],[a],table([(q0,a)={q1}, (q1,\lambda)={q2}, (q2,\lambda)={q0}, (q2,a)={q3}, (q3,a)={q4}]),q0,[q1]);

 

(6.2.2.1)

 

>	transitionGraph(nfa);

 

>	deltaStarNFA(nfa,q1,a);

 

(6.2.2.2)

 

>	deltaStarNFA(nfa,q2,[a,a]);

 

(6.2.2.3)

 

>	deltaStarNFA(nfa,q0,[a,a,\lambda,a,a]);

 

(6.2.2.4)