Question

Design PDA for 

i) L={a^n b^m c^n|m,n>=1}

ii) L={a^m b^n c^p|m+n=p}

iii) L={a^i b^i c^j|i,j=1}

iv) L={a^i b^j c^j|i,j>=1}

I have made an attempt to draw pda Please can someone crosscheck the answer?

Answer 1

Your Logic is correct.

PDA’s are all wrong.

1. your are ignoring just one b
2. correct except move on Q0 to Q1
3. as i=1 only one a should be accepted
4. as i>=1 one a must be present but you are ignoring all a’s,