Conversion 

> #L={a^3} union {a^(2n):n>=1}
nfa1:=mkNFA([q0,q1,q2,q3,q4,q5],[a,b],table([(q0,a)={q1,q4},(q1,a)={q2},(q2,a)={q3},(q4,a)={q5},(q5,a)={q4}]),q0,[q3,q5]);
 

`:=`(nfa1, NFA({q0, q1, q2, q3, q4, q5}, {a, b}, TABLE([(q2, a) = {q3}, (q1, a) = {q2}, (q0, a) = {q1, q4}, (q4, a) = {q5}, (q5, a) = {q4}]), q0, {q3, q5}))
`:=`(nfa1, NFA({q0, q1, q2, q3, q4, q5}, {a, b}, TABLE([(q2, a) = {q3}, (q1, a) = {q2}, (q0, a) = {q1, q4}, (q4, a) = {q5}, (q5, a) = {q4}]), q0, {q3, q5}))		 (9.3.1)
 

> NFA2RLG(nfa1);
 

RLG({q0, q1, q2, q3, q4, q5}, {a, b}, q0, TABLE([q4 = {[a, q5]}, q5 = {[a, q4], [lambda]}, q1 = {[a, q2]}, q0 = {[a, q1], [a, q4]}, q2 = {[a, q3]}, q3 = {[lambda]}]))
RLG({q0, q1, q2, q3, q4, q5}, {a, b}, q0, TABLE([q4 = {[a, q5]}, q5 = {[a, q4], [lambda]}, q1 = {[a, q2]}, q0 = {[a, q1], [a, q4]}, q2 = {[a, q3]}, q3 = {[lambda]}]))		 (9.3.2)
 

> NFA2LLG(nfa1);
 

LLG({q0, q1, q2, q3, q4, _qf_, q5}, {a, b}, _qf_, TABLE([q4 = {[q0, a], [q5, a]}, q5 = {[q4, a]}, q1 = {[q0, a]}, _qf_ = {[q3], [q5]}, q0 = {[lambda]}, q2 = {[q1, a]}, q3 = {[q2, a]}]))
LLG({q0, q1, q2, q3, q4, _qf_, q5}, {a, b}, _qf_, TABLE([q4 = {[q0, a], [q5, a]}, q5 = {[q4, a]}, q1 = {[q0, a]}, _qf_ = {[q3], [q5]}, q0 = {[lambda]}, q2 = {[q1, a]}, q3 = {[q2, a]}]))		 (9.3.3)
 

> dfa1:=simplifyDFA(minimalDFA(NFA2DFA(nfa1)));
 

`:=`(dfa1, DFA({_q4, _q2, _q3, _q1, _q0, _q5, _q6}, {a, b}, TABLE([(_q0, b) = _q4, (_q5, a) = _q6, (_q1, b) = _q4, (_q2, b) = _q4, (_q4, b) = _q4, (_q1, a) = _q2, (_q3, a) = _q6, (_q2, a) = _q3, (_q6,...
`:=`(dfa1, DFA({_q4, _q2, _q3, _q1, _q0, _q5, _q6}, {a, b}, TABLE([(_q0, b) = _q4, (_q5, a) = _q6, (_q1, b) = _q4, (_q2, b) = _q4, (_q4, b) = _q4, (_q1, a) = _q2, (_q3, a) = _q6, (_q2, a) = _q3, (_q6,...
`:=`(dfa1, DFA({_q4, _q2, _q3, _q1, _q0, _q5, _q6}, {a, b}, TABLE([(_q0, b) = _q4, (_q5, a) = _q6, (_q1, b) = _q4, (_q2, b) = _q4, (_q4, b) = _q4, (_q1, a) = _q2, (_q3, a) = _q6, (_q2, a) = _q3, (_q6,...		 (9.3.4)
 

> DFA2RLG(dfa1);
 

RLG({_q4, _q2, _q3, _q1, _q0, _q5, _q6}, {a, b}, _q0, TABLE([_q5 = {[b, _q4], [a, _q6]}, _q2 = {[a, _q3], [b, _q4], [lambda]}, _q3 = {[b, _q4], [a, _q6], [lambda]}, _q0 = {[a, _q1], [b, _q4]}, _q4 = {...
RLG({_q4, _q2, _q3, _q1, _q0, _q5, _q6}, {a, b}, _q0, TABLE([_q5 = {[b, _q4], [a, _q6]}, _q2 = {[a, _q3], [b, _q4], [lambda]}, _q3 = {[b, _q4], [a, _q6], [lambda]}, _q0 = {[a, _q1], [b, _q4]}, _q4 = {...
RLG({_q4, _q2, _q3, _q1, _q0, _q5, _q6}, {a, b}, _q0, TABLE([_q5 = {[b, _q4], [a, _q6]}, _q2 = {[a, _q3], [b, _q4], [lambda]}, _q3 = {[b, _q4], [a, _q6], [lambda]}, _q0 = {[a, _q1], [b, _q4]}, _q4 = {...		 (9.3.5)
 

> DFA2LLG(dfa1);
 

LLG({_qf_, _q4, _q2, _q3, _q1, _q0, _q5, _q6}, {a, b}, _qf_, TABLE([_q5 = {[_q6, a]}, _q2 = {[_q1, a]}, _q3 = {[_q2, a]}, _qf_ = {[_q6], [_q3], [_q2]}, _q0 = {[lambda]}, _q4 = {[_q0, b], [_q4, b], [_q...
LLG({_qf_, _q4, _q2, _q3, _q1, _q0, _q5, _q6}, {a, b}, _qf_, TABLE([_q5 = {[_q6, a]}, _q2 = {[_q1, a]}, _q3 = {[_q2, a]}, _qf_ = {[_q6], [_q3], [_q2]}, _q0 = {[lambda]}, _q4 = {[_q0, b], [_q4, b], [_q...
LLG({_qf_, _q4, _q2, _q3, _q1, _q0, _q5, _q6}, {a, b}, _qf_, TABLE([_q5 = {[_q6, a]}, _q2 = {[_q1, a]}, _q3 = {[_q2, a]}, _qf_ = {[_q6], [_q3], [_q2]}, _q0 = {[lambda]}, _q4 = {[_q0, b], [_q4, b], [_q...		 (9.3.6)