TransitionGraph 

>

## L={w:|w| mod 5 != 0} InternalStates:={q0,q1,q2,q3,q4}: Alphabet:={a,b}: delta:=table(): delta[(q0,a)]:={q1}: delta[(q0,b)]:={q1}: delta[(q1,a)]:={q2}: delta[(q1,b)]:={q2}: delta[(q2,a)]:={q3}: delta[(q2,b)]:={q3}: delta[(q3,a)]:={q4}: delta[(q3,b)]:={q4}: delta[(q4,a)]:={q0}: delta[(q4,b)]:={q0}: #delta[(q5,\lambda)]:={q0}: InitialState:=q0: FinalStates:={q1,q2,q3,q4}: nfa:=mkNFA(InternalStates,Alphabet,op(delta),InitialState,FinalStates):

 

>	transitionGraph(nfa);

 

>

 

>

 

>	NFA2RE(nfa);

 

(6.4.1)

 

>	transitionGraph(oneFinalStateNFA(nfa));

 

>	nfa:=randomNFA(7,3,2);

 

(6.4.2)

 

>	transitionGraph(nfa);

 

>	type(nfa,NFA);

 

(6.4.3)