合一运算(unification),文学-语言文字-计算语言学及语料库语言学-计算语言学-功能合一语法,在功能合一语法中,把若干个功能描述合并成一个单独的功能描述的运算方式。“合一”这个术语最初是在数理逻辑的一阶谓词演算中开始使用的。寻找某种项对变量的置换,从而使表达式一致的过程叫作合一。如果存在一个置换,把它作用到表达式集 {} 中的每一个元素上,使得,那么就说表达式集{}是可合一的,就叫作{}的合一者,因为它的作用是使该集合简化为一致的形式。例如,有两个逻辑项 和。如果用逻辑项和 置换中的变量和,则置换之后均成为,使得和都成为一致的形式,这个结果叫作的合一,和叫作的合一者,叫作可合一的逻辑项。在功能合一语法中,如果有两个或两个以上简单的功能描述是相容的,便可通过合一运算把它们合并成一个简单的功能描述,使得这个功能描述所描述的对象正是前面若干个功能描述所共同描述的对象。这样的合一运算与集合论中的求并运算十分类似,但合一运算与求并运算的不同之处在于,当合一运算应用不相容的项时,合一失败,并产生一个空集。求并运算所得到的并集是参与运算的各个集合里所有不同元素组成的集合。