Example 1 

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

`:=`(nfa, NFA({q1, q2, q0}, {a}, TABLE([(q2, lambda) = {q0}, (q1, lambda) = {q2}, (q0, a) = {q1}]), q0, {q1})) (6.2.1.1)
 

> transitionGraph(nfa);
 

Plot_2d
 

> deltaStarNFA(nfa,q1,a);
 

[q1, q2, q0] (6.2.1.2)
 

> deltaStarNFA(nfa,q0,a,`walk1`);walk1;
 

[q1, q2, q0] (6.2.1.3)
 

[[[q0, a]], [[q0, a], [q1, lambda]], [[q0, a], [q1, lambda], [q2, lambda]]] (6.2.1.3)
 

> deltaStarNFA(nfa,q1,[],`walk1`);walk1;
 

[q1, q2, q0] (6.2.1.4)
 

[[], [[q1, lambda]], [[q1, lambda], [q2, lambda]]] (6.2.1.4)
 

> deltaStarNFA(nfa,q2,\lambda,`walk1`);walk1;
 

[q2, q0] (6.2.1.5)
 

[[], [[q2, lambda]]] (6.2.1.5)
 

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

[q1, q2, q0] (6.2.1.6)
 

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

[q1, q2, q0] (6.2.1.7)