头部语法

头部语法（HG）是CarlPollard（1984）提出的一种语法形式，是对无语境语法类的扩展。因此，头部语法是一种短语结构语法，而不是一种依赖性语法。头部语法类是线性无语境重写系统的一个子集。

定义头部语法的一个典型方法是用一个有索引的终端字符串代替CFG的终端字符串，其中索引表示字符串的头部词。因此，例如，一个CF规则，如A→abc{displaystyleAtoabc}。可能看起来像这样A→(abc,0){displaystyleAto(abc,0)}，其中第0个终端，即a-b-c的终端，可能是"A"。

其中第0个终端，即a，是产生的终端字符串的头部。为了记数的方便，这样的规则可以写成只是终端字符串，头部终端用某种标记表示，例如{displaystyleAto{widehat{a}bc}}。然后在所有重写规则中加入两个基本操作：包裹和连接。对有头字符串的操作包裹是对两个有头字符串的一种操作，定义如下。

串行连接是对头数为n>0的字符串的一系列操作，对n=1，2，3的定义如下。{displaystyleZeta{widehat{z}}/eta}是以x、y和z开头的终端字符串。

我们可以在这里简要地总结一下这个模式，将一些终端字符串m连接起来，并指定字符串n的头部作为所产生的字符串的头部。

规则的形式头部语法规则是以这两种操作来定义的，规则有以下两种形式{displaystyleβ}是每个终端字符串或非终端符号。......是每个终端字符串或非终端符号。,......是每一个终端字符串或非终端符号。