范围串联语法

范围串联语法（RCG）是PierreBoullier在1998年提出的一种语法形式主义，试图描述自然语言的一些现象，这些现象超出了温和的语境敏感语言的范围。

从理论上看，任何可以在多项式时间内解析的语言都属于RCG的子集，称为正范围连接语法，而且是相互的。虽然旨在作为Groenink的字面运动语法（LMG）的变种，但RCG更多地是将语法过程作为一种证明而不是生产。

LMG从一个开始的谓词产生一个终端字符串，而RCG的目的是将一个开始的谓词（对一个终端字符串的谓词）减少到空字符串，这构成了终端字符串在语言中的成员资格的证明。

正范围串联语法（PRCG）是一个元组是（分别）谓词名、终端符号和变量名的不相交的有限集合。每个谓词名称都有一个相关的算数，该算数由函数给出{displaystyleSinN}是起始谓词名称。

是起始谓词的名称，并验证dim(S)=1{displaystyledim(S)=1}。负范围连接语法（NRCG）的定义与PRCG类似，但增加了一些出现在子句右侧的谓词可以有以下形式{displaystyle{overline{A_{i}(alpha_{1},ldots,alpha_{dim(A_{i})}}}。

这样的谓词被称为负谓词。一个RangeConcatenation语法是一个积极的或消极的。尽管PRCG在技术上是NRCG，但这些术语被用来强调没有（PRCG）或存在（NRCG）的否定谓词。

一个词中的范围{displaystyle{langlel_{2},r_{2}rangle_{w}}可以串联起来，如果是这样的话。可以串联起来，如果{displaystyler_{1}=l_{2}}，然后就有了，然后我们有。{displaystyleA(x_{1},...,x_{n})to`alpha}，其中，在RCG中，有一个RCG，即A(x_{1},...,x_{n}。，其中在一个RCG中。α{displaystylealpha}是一个空字符串或字符串。

是空字符串或一串谓词。参数{displaystylex_{i}}由终端符号和/或变量符号的字符串组成。由终端符号和/或变量符号的字符串组成，与实际的参数值进行模式匹配，就像在LMG中一样。

相邻的变量构成了一个针对分区的匹配系列，因此，参数xy{displaystylexy}，有两个变量，就能与实际的参数值匹配。，有两个变量，与字面字符串ab{displaystyleab}以三种不同的方式与字面字符串以三种不同的方式。{displaystylex=epsilon,y=ab;x=a,y=b;x=ab,y=epsilon}。

谓词有两种形式，正数（成功时产生空字符串）和负数（失败时产生空字符串/如果正数不产生空字符串）。负数项的表示方法与正数项相同，有一个横杠，如{displaystyle{overline{A(x_{1},...,x_{n})}}.RCG的重写语义相当简单，与LMG的相应语义相同。