in Theory of Computation
638 views
0 votes
0 votes
what is the PDA for {L=$a^mb^n$ |m>n}
in Theory of Computation
by
638 views

4 Comments

Clarity means deterministic bcs b is following a so no a can come after b or b can't come before a.. DPDA would be like 

0
0
On state q2,

q2(b,a,€) and q2(€,a,€) make it violating Dpda definition.... your diagram makes Npda…

Please draw correct diagram...
0
0

Please log in or register to answer this question.

Related questions