正则语言/上下文无关语言/MO-1 QFA 的泵引理

原创已于 2025-07-29 15:19:44 修改 · 860 阅读

23 ·

本内容遵循CC 4.0 BY-SA版权协议

GEO检测

于 2025-07-29 15:18:25 首次发布

泵引理（Pumping Lemma）概述

泵引理是形式语言理论中的一组工具，用于证明某种语言不属于某个语言类（如正则语言、上下文无关语言等）。其核心思想是：

如果一个语言属于某个语言类（如正则语言），那么它的足够长的字符串都可以被“抽取”（pumped）——即重复某部分后仍属于该语言。

字符串到了某个长度之后，必然会出现重复；类似题海战术中必然会找到考试题中的套路。

应用思路为，如果某个语言不满足某个语言类的泵引理条件，则它不属于该语言类。

1. 正则语言的泵引理

1.1 历史由来

由 Y. Bar-Hillel, M. Perles, E. Shamir 在1961年提出，基于有限状态自动机（FA）的性质。

由于 FA 只有有限个状态，长字符串必然重复访问某些状态，因此可以“抽取”循环部分。

1.2 泵引理内容

对于任意正则语言 $L$ ，存在一个泵长度 $p$ ，使得对任意 $s \in L$ 且 $|s| \geq p$ ，可以分解为 $s = xyz$ ，满足：

$|xy| \leq p$ （抽取部分在前 $p$ 个字符内）
$|y| \geq 1$ （抽取部分非空）
对所有 $i \geq 0$ ，有 $xy^i z \in L$ （抽取后仍属于 $L$ ）

1.3 示例：证明 $L = \{ a^n b^n \mid n \geq 0 \}$ 不是正则语言

step1. 假设 $L$ 是正则的，取泵长度 $p$ 。

step2. 选择 $s = a^p b^p$ ，显然 $|s| \geq p$ 。

step3. 根据泵引理， $s$ 可分解为 $xyz$ ，其中 $|xy| \leq p$ ，故 $y$ 只含 $a$ （如 $y = a^k, k \geq 1$ ）。

step4. 抽取 $y$ （如 $i=2$ ），得 $xy^2 z = a^{p+k} b^p$ ，但 $p+k \neq p$ ，故 $xy^2 z \notin L$ ，矛盾。

step5. 结论：因此， $L$ 不是正则语言。

2. 上下文无关语言的泵引理

2.1 历史由来

由 Scheinberg (1960) 和 Bar-Hillel et al. (1961) 提出，基于下推自动机（PDA）的性质。

由于 PDA 的栈深度有限，长字符串必然有递归的语法结构，可抽取某些子树。

2.2 泵引理内容

对于任意上下文无关语言 $L$ ，存在一个泵长度 $p$ ，使得对任意 $s \in L$ 且 $|s| \geq p$ ，可以分解为 $s = uvxyz$ ，满足：

$|vxy| \leq p$ （抽取部分长度受限）
$|vy| \geq 1$ （抽取部分非空）
对所有 $i \geq 0$ ，有 $uv^i xy^i z \in L$ （成对抽取后仍属于 $L$ ）

2.3 示例：证明 $L = \{ a^n b^n c^n \mid n \geq 0 \}$ 不是上下文无关语言

假设 $L$ 是 CFL，取泵长度 $p$ 。
选择 $s = a^p b^p c^p$ ，显然 $|s| \geq p$ 。
根据泵引理， $s$ 可分解为 $uvxyz$ ，其中 $|vxy| \leq p$ ，故 $vxy$ 不能同时含 $a, b, ca,b,c$ 。
抽取 $v$ 和 $y$ （如 $i=2$ ）：
- 若 $v$ 含 $a$ ， $y$ 含 $b$ ，则 $uv^2 xy^2 z$ 会破坏 $a, b, ca,b,c$ 数量平衡。
- 其他情况类似。
因此， $L$ 不是上下文无关语言。

3. 量子有限自动机（MO-1 QFA）的泵引理

3.1 历史由来

MO-1 QFA（Measure-Once 1-way Quantum Finite Automaton） 是一种量子计算模型，比经典FA更弱（只能识别严格子集的正则语言）。

Moore & Crutchfield (2000) 提出了 QFA 的泵引理，用于证明某些语言不能被QFA识别。

3.2 泵引理内容

对于任意被 MO-1 QFA 识别的语言 $L$ ，存在一个泵长度 $p$ ，使得对任意 $s \in L$ 且 $|s| \geq p$ ，可以分解为 $s = xyz$ ，满足：

$|xy| \leq p$
$|y| \geq 1$
对所有 $i \geq 0$ ，有 $xy^i z \in L$ （与经典泵引理类似，但 QFA 的抽取更受限）

3.3 示例：证明 $L = \{ a^n b^n \mid n \geq 0 \}$ 不能被MO-1 QFA识别

step1. 假设 $L$ 可被 MO-1 QFA 识别，取泵长度 $p$ 。

step2. 选择 $s = a^p b^p$ ，分解为 $xyz$ ，其中 $y$ 只含 $a$ （因为 $|xy| \leq p$ ）。

step3. 抽取 $y$ （如 $i=2$ ），得 $xy^2 z = a^{p+k} b^p$ ，但 MO-1 QFA 无法保持 $a$ 和 $b$ 的量子叠加状态，导致接受概率错误。

step4. 因此， $L$ 不能被 MO-1 QFA 识别。

4. 三种语言泵引理的总结对比

泵引理类型	适用语言类	抽取规则	典型应用
正则泵引理	正则语言（3型）	$s = xyz, xy^i z$	证明 $\{ a^n b^n \}$ 非正则
CFL泵引理	上下文无关语言（2型）	$s = uvxyz, uv^i xy^i z$	证明 $\{ a^n b^n c^n \}$ 非 CFL
MO-1 QFA泵引理	QFA 可识别语言	类似正则泵引理，但受量子限制	证明某些正则语言不能被 QFA识别

综上所述，泵引理是形式语言理论的重要工具，帮助区分不同计算模型的能力边界。

5. 附录：

5.1 正则语言泵引理的证明（基于DFA）

5.1.1 基本思路

<1.> 设 $L$ 是正则语言，则存在一个DFA $M$ 接受 $L$ 。

<2.> 设 $M$ 有 $p$ 个状态（即 $p =$ 状态数）。

<3.> 取一个足够长的字符串 $s \in L$ ， $|s| \geq p$ 。

<4.> 在 DFA 上运行 $s$ ，由于 $|s| \geq p$ ，根据鸽巢原理，至少有一个状态会被重复访问。

<5.> 这个重复的路径就是可以“抽取”的部分。

5.1.2 形式化证明

证明分为六步走：

假设 $L$ 是正则语言，则存在 DFA $M = (Q, \Sigma, \delta, q_0, F)$ 接受 $L$ ，其中 $|Q| = p$ 。
取字符串 $s = a_1 a_2 \dots a_n \in L$ ，且 $n \geq p$ 。
DFA运行 $s$ 时，状态转移序列为：
$q_0 \xrightarrow{a_1} q_1 \xrightarrow{a_2} q_2 \dots \xrightarrow{a_n} q_n \in F$
其中 $q_0$ 是初始状态， $q_n$ 是接受状态。
由于 $n \geq p$ ，而 $M$ 只有 $p$ 个状态，根据鸽巢原理，至少有两个状态相同，即存在 $0 \leq j < k \leq p$ 使得 $q_j = q_k$ 。
分解 $s$ ：
- 设 $x = a_1 \dots a_j$ （从 $q_0$ 到 $q_j$ ）
- $y = a_{j+1} \dots a_k$ （从 $q_j$ 循环回 $q_k = q_j$ ）
- $z = a_{k+1} \dots a_n$ （从 $q_k$ 到接受状态 $q_n$ ）
验证泵引理条件：
- $|xy| = k \leq p$ （因为 $k \leq p$ ）
- $|y| \geq 1$ （因为 $j < k$ ）
- 对于任意 $i \geq 0$ ， $xy^i z$ 仍被 $M$ 接受：
  - $i=0$ : $xz = a_1 \dots a_j a_{k+1} \dots a_n$ （跳过循环）
  - $i=1$ : $xyz = s$ （原字符串）
  - $i=2$ : $xy^2 z = a_1 \dots a_j (a_{j+1} \dots a_k)^2 a_{k+1} \dots a_n$ （循环两次）
  - 由于 $q_j = q_k$ ，DFA 会重复相同的路径，因此 $xy^i z \in L$ 。