形式语言与自动机理论课件 第五章---泵引理.pptVIP

5.1 RL的泵引理 (3)z的选择是关键，在保证|z|≥N的前提下，使得根据|uv|≤N，u,v,w的取值很容易得出。 (4)当一个特意被选来用作“发现矛盾”的z确定以后,就必须依照|uv|≤N和|v|≥1的要求,说明v不存在(对“存在u、v、w”的否定) 。 (5)与选z时类似,在寻找i时,我们也仅需要找到一个表明矛盾的“具体”值就可以了(对“所有i”的否定)。 (6)泵引理无法证明一个语言是RL。要证明这一点，可以通过给出语言的RG、FA或者RE描述等方法。 关系RM和 RL 关系RM：设DFA M=(Q,Σ,δ,q0,F)，M所确定的Σ*上的关系RM定义为：对于?x,y∈Σ*， – x RM y ? δ(q0,x)=δ(q0,y) – 也就是说： x RM y ? ?q∈Q，x,y∈set(q)。 – 或者说：M从q0开始读入x和y以后进入同一个状态。 关系RL：设L? Σ*，L确定的Σ*上的关系RL定义为：对 于?x,y∈Σ*， – x RL y ? (对?z∈Σ*，xz∈L ? yz∈L) 对于RL， – 如果x RM y，则必有x RL(M) y。可以证明。 – 如果x RL(M) y，则不一定有x RM y。 关系RM和 RL 5.3.2 DFA的极小化 对于任意的RL L，接受L的最小