PDA与CFG的等价的,意味着对任意上下文无关文法(CFL),都相应地存在一个PDA接受它。而这个等价性证明对于大部分学生而言都是形式语言中能与图灵机(Turing Machian)构造相提并论的绝对难点之一。
评论星级较低,若资源使用遇到问题可联系上传者,3个工作日内问题未解决可申请退款~