INFO:
Equivalence of CFG and PDA(上下文无关文法和下推自动机的等价性