31、上下文语法相对表达能力解析

上下文语法相对表达能力解析

1. 引言

在上下文语法的研究中，内部上下文语法的生成能力是一个关键的研究点。当对推导施加不同类型的限制，如 max、mloc、arc、mdf、emdf、iemdf 时，语法在生成语言方面会表现出不同的特性。我们的研究旨在揭示一些语言在一种推导限制下可以生成，但在其他限制下无法生成的情况，同时也会找出能在所有这些受限推导类型下生成的语言。

2. 相关引理及证明

2.1 引理 1：ICCα(FIN) ⊂ ICCα(REG)，α ∈ {max, mdf, mloc, arc, emdf, iemdf}

证明：显然 ICCα(FIN) ⊆ ICCα(REG)。为证明严格包含关系，考虑交叉依赖语言 L1 = {anbmcndm | n, m ≥ 1}。由于要使 a 和 c、b 和 d 的出现次数相等增加，具有有限选择的 α 语法无法生成该语言，因为需要形如 ak1b + ck2 和 bk3c + dk4（k1, k2, k3, k4 ≥ 0）的正则选择器。而在以往研究中，这些语法使用正则选择器可以生成 L1。

2.2 引理 2：L2 = {a, b}+ ∈ ICCα(REG)，α ∈ {max, mdf, mloc, arc, emdf, iemdf}

证明：对于 α ∈ {max, mdf, emdf, iemdf}，语言 L2 可由 Gα = ({a, b}, {a, b}, ({a, b}, {(aL, λ), (bL, λ)})) 生成（在 max 和 mdf 模式下，上下文中无后缀 L）。对于任意字符串 w = w1…wn ∈ L2，可从 wn 开始，迭代地在左侧添加上下文生成。