NANJING UNIVERSITY Pushdown Automata Definition Moves of the PDA Languages of the PDA Deterministic PDA's .1Definition Moves of the PDA Languages of the PDA Deterministic PDA’s Pushdown Automata 1