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

Your answer

Your name to display (optional):
Privacy: Your email address will only be used for sending these notifications.
Anti-spam verification:
To avoid this verification in future, please log in or register.

Related questions

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

Top Users Apr 2017
  1. akash.dinkar12

    3518 Points

  2. Divya Bharti

    2558 Points

  3. Deepthi_ts

    2040 Points

  4. rude

    1966 Points

  5. Tesla!

    1768 Points

  6. Shubham Sharma 2

    1610 Points

  7. Debashish Deka

    1608 Points

  8. Arunav Khare

    1464 Points

  9. Arjun

    1430 Points

  10. Kapil

    1424 Points

Monthly Topper: Rs. 500 gift card

22,076 questions
28,047 answers
24,137 users