21、正则语言发夹补全的研究

正则语言发夹补全的研究

1. 引言

在语言理论中，发夹补全是一个重要的概念。如果 $L$ 是一种语言，其反转语言是将 $L$ 中的单词从右向左读取得到的。对于发夹补全，我们定义 $H(L, R, k) = {γαβα γ | (γαβα ∈L ∨αβα γ ∈R) ∧|α| = k }$，其中 $L$ 和 $R$ 是正则语言，$k > 0$ 是正整数。这里需要注意的是，将 $|α| = k$ 替换为 $|α| ≥k$ 并不改变定义，为了表述简便，我们将 $k$ 视为一个（小的）常数。

我们的目标是解决一个问题：给定接受 $L$ 的最多 $n$ 个状态的 DFA 和接受 $L$ 的反转语言（或 $\overline{L}$）的最多 $n$ 个状态的 DFA，判断发夹补全 $H(L, R, k)$ 是否为正则语言。

2. 相关定义和基本概念

• 反转语言 ：语言 $L$ 的反转语言是由 $L$ 中的单词从右向左读取得到的单词集合。例如，若 $L$ 中有单词 $a_1a_2\cdots a_n$，则其反转语言包含单词 $a_n\cdots a_2a_1$。
• 发夹补全 ：$H(L, R, k)$ 的定义如上述，右单侧 $k$ - 发夹补全是 $H(L, \varnothing, k)$，双侧版本是 $H(L, L, k)$。

3. 主要定理及相关分析

• 定理 2 ：设 $\Sigma$ 是固定字母表，$k > 0$ 是常数，$L$ 和 $