First time here? Checkout the FAQ!
+2 votes

Either I dont understand PDA at all or this question is wrong or I am missing something very basic:

asked in Theory of Computation by Junior (547 points)   | 32 views
state q0 denotes even no of a's and state q1 denotes odd no of a's.

Here we consider even no of a's then b and c should be equall.

at state q1 (c,b/$\epsilon$)  //pop 'b' for one 'c'.

at state q2 also same pop 'b' for one 'c'.

If a's are odd then no restriction on a's and b's.

at state q4 'b's are pushed into the stack.

when (c,b/cb)  push 'c' into stack or (c,b/b) skip 'b's.

same as q5 also.

Hence W=cb or b,X=$\epsilon$,Y=$\epsilon$,Z=cb or b

Please log in or register to answer this question.

Related questions

Top Users Sep 2017
  1. Habibkhan

    8312 Points

  2. Warrior

    2862 Points

  3. rishu_darkshadow

    2796 Points

  4. Arjun

    2766 Points

  5. A_i_$_h

    2526 Points

  6. manu00x

    2094 Points

  7. nikunj

    1980 Points

  8. Bikram

    1874 Points

  9. makhdoom ghaya

    1810 Points

  10. SiddharthMahapatra

    1718 Points

26,281 questions
33,842 answers
31,192 users