Acceptance of a string by Pushdown Automaton

Procedure