PDA与CFG的等价的，意味着对任意上下文无关文法(CFL)，都相应地存在一个PDA接受它。而这个等价性证明对于大部分学生而言都是形式语言中能与图灵机(TuringMachian)构造相提并论的绝对难点之一。