Normal form of pushdown automata的意思|示意
美 / /
英 / /
下推自动机的正常形式