字面运动语法

在语言学和理论计算机科学中，字面运动语法（LMG）是一种语法形式主义，旨在描述自然语言的某些外置现象，如主题化和跨序列依赖。LMG通过引入模式匹配函数般的重写语义，以及变量绑定和斜线删除的操作，扩展了上下文自由语法（CFG）的类别。LMG是由A.V.Groenink在1995年提出的。描述LMG的基本重写操作与CFG非常相似，只是在非终端符号中增加了参数。当一个无上下文的重写规则服从于一般的模式时S→α{displaystyleStoΑ}对于一些非终端S{displaystyleS}和一些终端和/或非终端的字符串。和一些终端和/或非终端的字符串α{displaystyle`alpha}，一个LMG重写规则服从一般模式。的重写规则服从于一般模式{displaystyleX(x_{1},...,x_{n})to`alpha}，其中X是具有n次方的非术语（称为LMG术语的谓词）。其中，X是一个具有n位数的非终端（在LMG术语中称为谓词），并且{displaystylealpha}是一串项目，定义为是一串项目，定义如下。参数{displaystylex_{i}}是定义参数模式的终端符号和/或变量符号的字符串。是定义了一个参数模式的终端符号和/或变量符号的字符串。在参数模式有多个相邻的变量符号的情况下，参数模式将匹配实际值的任何和所有分区的统一。因此，如果谓词是{displaystylex{text{:}}f(x_{1},ldots,x_{n})}，一个将x与产生的字符串绑定的变量。变量y被绑定到g谓词产生的任何终端字符串，并且在{displaystyle{alpha}中，变量y被绑定到g谓词产生的任何终端字符串上。

{displaystyleβ}中，y的所有出现都被该字符串替换。，所有出现的y都被该字符串替换，并且{displaystyle`alpha}，所有出现的y都被该字符串替换。产生，就像终端字符串一直在那里一样。一个项目{displaystylex/y}，其中x是产生终端字符串的东西（要么是终端字符串本身，要么是某个谓词），y是终端和/或变量的字符串。其中x是产生一个终端字符串的东西（要么是终端字符串本身，要么是一些谓词），y是一个终端和/或变量的字符串，被改写为空字符串(计算能力由LMG生成的语言包含作为适当子集的无语境语言，因为每个CFG都是一个LMG，其中所有谓词的arity为0，没有生产规则包含变量绑定或斜线删除。