形式语言与自动机

【文件属性】：

文件名称：形式语言与自动机

文件大小：745KB

文件格式：PPT

更新时间：2017-12-10 09:12:39

DFA

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