Convert DPDA To NPDA 

>

InternalStates:={q0,q1,q2,q3}: Alphabet:={a,b}: StackAlphabet:={0,1,z0}: delta:=table(): delta[(q0,a,0)]:=[q1,[1,0,1]]: delta[(q0,b,0)]:=[q1,1]: delta[(q1,a,1)]:=[q1,[1,1]]: delta[(q1,a,0)]:=[q1,\lambda]: delta[(q1,b,0)]:=[q2,[0,0]]: delta[(q1,b,1)]:=[q2,\lambda]: delta[(q2,b,1)]:=[q2,\lambda]: delta[(q2,\lambda,0)]:=[q3,[]]: InitialState := q0: StackStartSymbol:=z0: FinalStates:={q3}: dpda01:=mkDPDA(InternalStates,Alphabet,StackAlphabet,op(delta),  InitialState,StackStartSymbol,FinalStates);

 

(11.3.1)

 

>	emptyStackPDA2finalStatePDA(dpda01);

 

(11.3.2)

 

>	DPDA2NPDA(dpda01);

 

(11.3.3)

 

>