I am facing problem while constructing PDA for the language where we have no of a's =twice no of b's .
I am not getting here that if say the string is abaaba so then what should I do on seeing b just after one a , it would be easy if by simply seeing one two a's ,I push one a onto stack but then what to do with this incoming b ?