连合语法

连合语法是形式语言理论中研究的一类形式语法。它们扩展了语法的基本类型，即无语境语法，有一个连合操作。除了显式连接外，连接式语法还允许隐式分离，由单个非终端符号的多个规则表示，这是在无语境语法中xxx可以表达的逻辑连接。连接可以特别用于指定语言的交叉。连接式语法的进一步扩展被称为布尔语法，还允许显式否定。连接式语法的规则形式为V是一个有限集；每个元素v∈V{displaystylevinV}，其中V是有限集；每个元素v∈V被称为一个非终端符号或一个变量。每个变量代表句子中不同类型的短语或句子。变量有时也被称为句法类别。Σ是一个有限的终端集，与V不相连，构成了句子的实际内容。终端集是由语法G定义的语言的字母表。R是一个有限的生成物集，每个生成物的形式为A→α。{displaystyleArightarrow{alpha_{1}&ldots&alpha_{m}}对某些人来说，是一个很好的例子。对于某些.R的成员被称为语法的规则或产品。S是起始变量（或起始符号），用于表示整个句子（或程序）。它必须是V的一个元素。

存在两个由联合语法指定的语言的等效形式定义。一个定义是基于将语法表示为一个具有联合、交叉和连接的语言方程系统，并考虑其最小解。另一个定义概括了乔姆斯基对上下文自由语法的生成定义，使用联合和连接的术语重写。