Abstract: According to the method of finite automation diagram description, the diagram description of normal form of pushdown automata, the PAD state transition diagram is discussed. It is proofed that pushdown automat is equipollence with normal form of pushdown

Key words: State transition diagram, Normal form of pushdown automata, Simplification, Behavior equivalence, State equivalence