合一表达式

合一表达式（unification expression），文学-语言文字-计算语言学及语料库语言学-计算语言学-PATR语法，在PART语法中，为了限制短语结构语法过强的生成能力而对结构规则进行约束的表达式。合一表达式由左部和右部组成，左部是一个特征路径，路径的第一个成分是短语结构规则中的某一个符号；右部是一个简单的值，也可以是另一个路径，这个路径的第一个成分也是短语结构规则中的符号。左部和右部之间用等号“=”相连接。下面是PART语法的两条规则。规则①：SNP VP (SubCl)＜NP head agr＞ = ＜VP head agr＞＜NP head case＞ = NOM＜S subj＞ = ＜NP＞＜S head＞ = ＜VP head＞在规则①中有4个合一表达式对短语结构规则“SNP VP (SubCl)”进行约束。