The Gateway to Computer Science Excellence
First time here? Checkout the FAQ!
x
+2 votes
32 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 (555 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.



Quick search syntax
tags tag:apple
author user:martin
title title:apple
content content:apple
exclude -tag:apple
force match +apple
views views:100
score score:10
answers answers:2
is accepted isaccepted:true
is closed isclosed:true

29,154 questions
36,975 answers
92,133 comments
34,816 users