L={w:the top row is a larger number than the bottom row} 

>

InternalStates:={q0,q1,q2}: Alphabet:={[0,0],[0,1],[1,0],[1,1]}: delta:=table(): delta[(q0,[0,0])]:=q2: delta[(q0,[1,0])]:=q1: delta[(q0,[1,1])]:=q2: delta[(q1,[0,0])]:=q1: delta[(q1,[0,1])]:=q1: delta[(q1,[1,0])]:=q1: delta[(q1,[1,1])]:=q1: delta[(q2,[0,0])]:=q2: delta[(q2,[1,0])]:=q1: delta[(q2,[1,1])]:=q2: InitialState:=q0: FinalStates:={q1}: nfa2_9a:=mkNFA(InternalStates,Alphabet,op(delta),InitialState,FinalStates): transitionGraph(nfa2_9a); dfa2_9a:=simplifyDFA(minimalDFA(NFA2DFA(nfa2_9a))); transitionGraph(dfa2_9a);

 

>

 

>	w:=[]: stringVerificationDFA(dfa2_9a,w);

 

(7.1.1.1)

 

>	w:=[[0,0],[1,0],[1,1],[0,0]]: stringVerificationDFA(dfa2_9a,w);

 

(7.1.1.2)

 

>	w:=[[0,0],[0,1],[1,1],[0,0]]: stringVerificationDFA(dfa2_9a,w);

 

(7.1.1.3)

 

>