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 (537 points)   | 29 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

+2 votes
0 answers
0 votes
0 answers
asked in Theory of Computation by srestha Veteran (52.4k points)   | 34 views
0 votes
1 answer
asked in Theory of Computation by Adiaspirant Junior (597 points)   | 26 views

Top Users Mar 2017
  1. rude

    4758 Points

  2. sh!va

    3014 Points

  3. Rahul Jain25

    2910 Points

  4. Kapil

    2636 Points

  5. Debashish Deka

    2450 Points

  6. 2018

    1514 Points

  7. Vignesh Sekar

    1422 Points

  8. Akriti sood

    1322 Points

  9. Bikram

    1286 Points

  10. Sanjay Sharma

    1076 Points

Monthly Topper: Rs. 500 gift card

21,494 questions
26,815 answers
23,068 users