19、范围连接文法：解析与应用

范围连接文法：解析与应用

1. 范围连接文法基础

范围连接文法（Range Concatenation Grammars，RCG）是一种语法形式，可视为线性上下文无关重写系统（LCFRS）和多成分上下文无关文法（MCFG）的扩展。它摒弃了非擦除性和线性约束，其产生式（子句）通过输入字符串 w 的子串进行实例化，这些子串由范围决定。这使得 RCG 相较于字面移动文法（LMG）更具局限性，因为 LMG 不要求子句中参数和变量的实例化必须是输入字符串 w 的一部分。

不同类型的 RCG 和 LMG 字符串语言存在层次关系，如图 1 所示：

graph LR
    classDef process fill:#E5F6FF,stroke:#73A6FF,stroke-width:2px;
    CFG([CFG]):::process --> 1SRCG([1 - SRCG]):::process
    CFG --> 1LCFRS([1 - LCFRS]):::process
    CFG --> TAG([TAG]):::process
    1SRCG --> 2SRCG([2 - SRCG]):::process
    1LCFRS --> 2LCFRS([2 - LCFRS]):::process
    2SRCG --> SRCG([SRCG]):::process
    2LCFRS --> LCFRS([LCFRS]):::process
    LCFRS --> PMCFG([PMCFG]):::process
    PMCFG -->