Empty Stack  To Final State PDA 

>

map(x->subs({q_0=q0,q_1=q1,q_f=q3,S=1,S1a=2,S1b=3,S_1=4,z_0=5},x), [{q_f, q_1, q_0}, {b, a}, {S, S1a, S_1, z_0, S1b}, ([ (q_0, lambda, z_0) = {[q_1, [S, z_0]]}, (q_1, lambda, z_0) = {[q_f, lambda]}, (q_1, lambda, S_1) = {[q_1, [S, S1b]]}, (q_1, a, S1a) = {[q_1, lambda]}, (q_1, lambda, S) = {[q_1, [S1a, S_1]], [q_1, [S1a, S1b]]}, (q_1, b, S1b) = {[q_1, lambda]}]), q_0,z_0,{q_f}]);

 

(11.4.1)

 

>

npda03:=mkNPDA( {q3, q1, q0}, {a, b}, {1, 2, 3, 4, 5}, table([(q0, lambda, 5) = {[q1, [1, 5]]}, (q1, lambda, 5) = {[q3, lambda]}, (q1, lambda, 4) = {[q1, [1, 3]]}, (q1, a, 2) = {[q1, lambda]}, (q1, lambda, 1) = {[q1, [2, 4]], [q1, [2, 3]]}, (q1, b, 3) = {[q1, lambda]}]), q0, 5, {q3}); transitionGraph(npda03);

 

>	npda03b:=emptyStackPDA2finalStatePDA(npda03); transitionGraph(npda03b);

 

>

 

>