GATE CSE
First time here? Checkout the FAQ!
x
+2 votes
28 views

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)   | 28 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
1
0 votes
0 answers
2
asked in Theory of Computation by srestha Veteran (51.7k points)   | 33 views
0 votes
1 answer
3
asked in Theory of Computation by Adiaspirant Junior (581 points)   | 19 views
Top Users Feb 2017
  1. Arjun

    5288 Points

  2. Bikram

    4230 Points

  3. Habibkhan

    3952 Points

  4. Aboveallplayer

    3086 Points

  5. Debashish Deka

    2378 Points

  6. sriv_shubham

    2308 Points

  7. Smriti012

    2236 Points

  8. Arnabi

    2008 Points

  9. mcjoshi

    1690 Points

  10. sh!va

    1684 Points

Monthly Topper: Rs. 500 gift card

20,860 questions
26,012 answers
59,674 comments
22,114 users