GATE CSE
First time here? Checkout the FAQ!
x
+2 votes
30 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 (547 points)   | 30 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 (55.5k points)   | 34 views
0 votes
1 answer
3
asked in Theory of Computation by Adiaspirant Junior (621 points)   | 48 views


Top Users Jul 2017
  1. Bikram

    3946 Points

  2. manu00x

    2464 Points

  3. Debashish Deka

    1842 Points

  4. joshi_nitish

    1650 Points

  5. Arjun

    1268 Points

  6. Hemant Parihar

    1184 Points

  7. Arnab Bhadra

    1100 Points

  8. Shubhanshu

    1052 Points

  9. Ahwan

    900 Points

  10. rahul sharma 5

    692 Points


24,016 questions
30,946 answers
70,303 comments
29,333 users