In the PDA above, I know that the transitions on the loop state are not valid because some of the transitions have multiple pushes; e.g. eps, S -> T + S. I understand how to convert multiple pushes to single pushes when its from one state to another different state, such as the transition from start to loop. However, I am unsure how to do a similar conversions for transitions that loop to another state. I've looked online, but haven't found an example actually showing this. Could anyone provide me with an example?
Push-Down Automaton: How do I convert multiple pushes to single pushes?
pushdown automata