计算理论第2章_去某范式版.pptVIP

拒绝 w = 0101 （状态；堆栈）的变化过程： (q1; ?) ? (q2; $) ? (q2; 0$) ? (q3; $) ? (q4; ?) … 虽然具有输入的部分子串 “01”，但找不到整个字符串的接受路径 理解为用括号配对比较直观 状态 栈内值 q1 q3 q2 q4 ?, ??$ ?, $?? 1, 0?? 1, 0?? 0, ??0 w = 0101 例：构造一台识别下述语言的PDA M：｛aibjck ? i, j, k≥0 且 i=j 或 i=k} 例 例 ： 构造接受L={wwT|w∈{0,1}*}的PDA。 确定的(deterministic)PDA PDA在每一个状态q和一个栈顶符号下的动作都是惟一的。 关键 对于?(q，Z)∈Q×Γ，M此时如果有非空移动，就不能有空移动。 每一种情况下的移动都是惟一的。 非确定的PDA和确定型PDA识别能力不同，非确定型PDA能识别确定型PDA不能识别的语言 2.2.3与上下文无关文法的等价性 定理２.12: 一个语言是上下文无关的，当且仅当存在一台PDA识别它。 L是CFL ??L被PDA接受 两步: 1)引理２.１３ 如果一个语言是上下文无关的，则存在一台PDA识别它 ?部分 2)引理２.１5 如果一个语言被一台PDA识别，则它是上下文无关的 ?部分 若干教材都说 此定理容易证明 但