19、范围连接语法：原理、解析与优化

范围连接语法：原理、解析与优化

1. 范围连接语法（RCG）概述

范围连接语法（Range Concatenation Grammars，RCG）是一种语法形式，可视为线性上下文无关规则系统（LCFRS）和多成分上下文无关语法（MCFG）的扩展。它摒弃了非擦除性和线性约束，其产生式（子句）通过输入字符串 w 的子串进行实例化，这些子串由范围决定。

与字面移动语法（LMG）相比，RCG 更为受限。虽然两者看起来相似，但 LMG 不要求子句中参数和变量的实例化是输入字符串 w 的一部分。

不同类型的 RCG 和 LMG 字符串语言的层次结构总结如下：

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