If we want to design a PDA that accepts all words those the first half equals reverse of the second half and there is a '#' between them, "ab#ba" for example.
We start push each letter we read and when we read the symbol '#' don't push it and start popping from its next letter and check for match between the current letter and the top of the stack.
But what do we if there is no '#' symbol in the center of the string, can we do the same of usual NFA ?
I mean can we make same transitions twice, each one to distinct state ?
Example : let us be in the state 'q1', when I read the letter make a transition to the state q2 and pop the top of the stack and make a transition to the state q3 without pop ?
