计算机数学基础第三章.pptVIP

第三章 正规集的性质 正规集的泵作用引理 如果一个语言是正规的，则它被一个具有某一具体数目的状态n的确定的有限自动机M= (Q, ?, ?, q0, F)所接受。 引理3.1（Pumping Lemma)：设L为正规集，则存在一个常数n，使得若L中有字Z，而|Z| ≥ n，则Z可写为Z = uvw，使得|uv| ≤ n，|v| ≥1，并对所有的i ≥0，uviw仍然在L中。更进一步说，n不大于接受L的最小的有限自动机的状态数。 泵作用引理的应用 泵作用引理用于证明某些集合不是正规集时，应用的一般方式是采用如下形式的反证法： (1) 假定你想要证明的语言L是正规的。 (2) 确定泵作用引理中的常数n，n一旦确定，则不可改变。 (3) 挑选L中句子Z，Z的选择隐含地依赖于n 的值。 (4) 在满足|uv| ≤ n和|v| ≥ 1的约束条件下，将Z分成u，v和w。 (5) 通过证明对?u ,v和w，存在i，使得uviw ? L，从而得出矛盾。由此断定L不是正规的。 泵作用引理的应用 例3.1：集合L = {0k| k = i2，这里i是整数，且i ? 1}，即L是由长度为完全平方的0的符号串构成的集合。L不是正规的。 证明：假定L是正规的并设n为泵作用引理中的常数。令Z = 0n2。由泵作用引理，z = uvw，其中1? |v|? n，并且对所有的i，u