Is it possible to make a PDA that upon reading a symbol, adds or removes the two top-most symbols of the stack?
If so is the only way of doing this by using an epsilon transition in the PDA (to add/remove the second top-most symbol after having already added/removed the first one)?