[论文解读] Swapping Lemmas for Regular and Context-Free Languages

Tomoyuki Yamakami|ArXiv.org|Aug 29, 2008

semigroups and automata theory参考文献 6被引用 17

一句话总结

本文引入了交换引理，作为在存在仅依赖于输入长度的建议字符串（advice）时，替代传统泵送引理以证明非正则性和非上下文无关性的方法。通过在结构化操作中保持建议的有效性，该引理表明，像 $\text{Equal}$、$\text{GT}$、$\text{Pal}$ 和 $\text{Dup}$ 这类语言不属于 $\mathrm{REG}/n$ 或 $\mathrm{CFL}/n$，从而确立了 $\mathrm{DCFL}/n$ 与 $\mathrm{REG}/n$ 之间，以及 $\mathrm{CFL}/n$ 与 $\mathrm{CFL}$ 之间的分离。该方法依赖于鸽巢原理和带建议的下推自动机中的栈分析。

ABSTRACT

In formal language theory, one of the most fundamental tools, known as pumping lemmas, is extremely useful for regular and context-free languages. However, there are natural properties for which the pumping lemmas are of little use. One of such examples concerns a notion of advice, which depends only on the size of an underlying input. A standard pumping lemma encounters difficulty in proving that a given language is not regular in the presence of advice. We develop its substitution, called a swapping lemma for regular languages, to demonstrate the non-regularity of a target language with advice. For context-free languages, we also present a similar form of swapping lemma, which serves as a technical tool to show that certain languages are not context-free with advice.

研究动机与目标

• 为解决标准泵送引理在分析依赖于输入长度的建议字符串的正则语言和上下文无关语言时的局限性。
• 开发一种新的技术工具——交换引理，确保在字符串的结构变换过程中保持建议的有效性。
• 证明某些自然语言（如 $\text{Equal}$、$\text{GT}$、$\text{Pal}$ 和 $\text{Dup}$）尽管在无建议时为正则或上下文无关语言，但不属于 $\mathrm{REG}/n$ 或 $\mathrm{CFL}/n$。
• 利用交换引理建立带建议语言类之间的新分离关系，例如 $\mathrm{DCFL}/n \neq \mathrm{REG}/n$，这些关系此前尚不为人所知。

提出的方法

• 基于鸽巢原理，为正则语言提出一种交换引理，确保在字符串操作后建议字符串仍保持有效。
• 定义一个映射 $e: S \to \Delta$，将语言中的字符串映射到索引三元组 $(i,j,v,w)$，其中 $\Delta$ 表示有限自动机带建议中的区间和栈符号。
• 在非确定性下推自动机（npda）中使用栈转移分析，识别栈高度保持不变的区间，从而构造有效的交换候选。
• 采用反证法：如果太多字符串映射到 $\Delta$ 中的同一索引，则存在两个不同的子串 $u \neq z$ 映射到相同的建议配置，违反关键假设。
• 采用字典序最小性条件，唯一定义字符串到索引元素的分配，确保映射的一致性。
• 利用接受计算路径的结构和栈内容变化，当关于语言成员资格的假设被违反时，推导出矛盾。

实验结果

研究问题

• RQ1 标准泵送引理能否有效证明需要依赖于输入长度的建议字符串的语言的非正则性？
• RQ2 是否存在一种结构引理，能在字符串操作过程中保持建议的有效性，从而实现对带建议自动机更强的非成员资格证明？
• RQ3 交换引理能否扩展到上下文无关语言，以证明在 $\mathrm{CFL}/n$ 中的非成员资格？
• RQ4 利用交换引理可以建立哪些带建议语言类之间的新分离关系？
• RQ5 像 $\text{Equal}$、$\text{GT}$、$\text{Pal}$ 和 $\text{Dup}$ 这类语言是否在 $\mathrm{REG}/n$ 和 $\mathrm{CFL}/n$ 之外，尽管它们在无建议时是正则或上下文无关语言？

主要发现

• 语言 $\text{Equal} = \{w \in \{0,1\}^* \mid \#_0(w) = \#_1(w)\}$ 不属于 $\mathrm{REG}/n$，证明了 $\mathrm{DCFL}/n \neq \mathrm{REG}/n$。
• 语言 $\text{GT} = \{w \in \{0,1\}^* \mid \#_0(w) > \#_1(w)\}$ 不属于 $\mathrm{REG}/n$，进一步支持了 $\mathrm{DCFL}/n$ 与 $\mathrm{REG}/n$ 之间的分离。
• 语言 $\text{Pal} = \{ww^R \mid w \in \{0,1\}^*\}$ 不属于 $\mathrm{REG}/n$，表明即使上下文无关语言也可能无法被带建议的有限自动机识别。
• 语言 $\text{Dup} = \{ww \mid w \in \{0,1\}^*\}$ 不属于 $\mathrm{CFL}/n$，证明了 $\mathrm{CFL}/n \neq \mathrm{CFL}$。
• 交换引理成功克服了在涉及建议时泵送引理的缺陷，使得在带建议语言类中能够进行直接且有效的非成员资格证明。