in Theory of Computation
698 views
0 votes
0 votes

The pushdown automata $M=\left \{ \left ( q_{0},q_{1},q_{2} \right ),\left ( a,b \right ) ,\left ( 0,1 \right ),\partial ,q_{0},0,\left \{ q_{0} \right \}\right \}$

$\partial \left ( q_{0},a,0 \right )=\left ( q_{1},10 \right )$

$\partial \left ( q_{1},a,1 \right )=\left ( q_{1},11 \right )$

$\partial \left ( q_{1},b,1 \right )=\left ( q_{2},\lambda \right )$

$\partial \left ( q_{2},b,1 \right )=\left ( q_{2},\lambda \right )$

$\partial \left ( q_{2},\lambda ,0 \right )=\left ( q_{0},\lambda \right )$

Accepts language 

$l=\left \{ a^{n}b^{n}\mid n\geq 0\right \}$

$l=\left \{ a^{n}b^{n}\mid n> 0\right \}$


Please tell me with these two options which one is correct? I think here $q_{2}$ is accepting state , not $q_{0}$ 

As last transition going from $q_{2}$ to $q_{0}$ and not $q_{0}$ to $q_{2}$

Am I right?

in Theory of Computation
by
698 views

4 Comments

here goes q2 to q0, so accept the empty state
0
0
Yes exactly what I was going to say too😃
1
1
thanks a lot

Made Easy diagram showing q2 final :(

So, getting in this trouble
0
0

Please log in or register to answer this question.

Related questions