Datatypes 

>	InternalStates:={q0,q1,q2}: Alphabet:={0,1}: delta:=table(): delta[(q0,0)]:=q0: delta[(q0,1)]:=q1: delta[(q1,0)]:=q0: delta[(q1,1)]:=q2: delta[(q2,0)]:=q2: delta[(q2,1)]:=q1: InitialState:=q0: FinalStates:={q1}: dfa:=mkDFA(InternalStates,Alphabet,op(delta),InitialState,FinalStates);

 

(4.1)

 

>	type(dfa,DFA);

 

(4.2)

 

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

 

(4.3)

 

>	type(nfa,NFA);

 

(4.4)

 

>	cfg:=randomCFG(5,3);

 

(4.5)

 

>	type(cfg,'CFG');

 

(4.6)

 

>	type(cfg,'LL1');

 

(4.7)

 

>	parsingTableLL1(cfg);

 

(4.8)