补充资料：结合演算

结合演算
associative calculus

结合演算吟以心硕视。日。吐姗;.，阅脚二a佣.临饥e二e] 一个斌与一非常确定的类型的，特别是适合详细说明的有穷表示的结合系统(半群(se讯卜孚叨p))的演算〔ca1CUlus)的名称.结合演算一词是由A A Ma户roB引进的，他也发展了结合演算的理论(汇2了). 任何结合演算班可藉详细说明某个字母衰(alPh·abet)A及A上关系—字母表A中的宇(word)对的有穷表叮来定义.组成关系的字通常称为它的部分—左部分和右部分.A中字上的。允许运算(。一钾血issible operation)是口中任何关系的一部分的代入，其中用同在关系的其他部分来嵌人义中的一个字〔见嵌入字(imbedd七d word)).一个结合演算班是由A中任意字尸开始，实行一系列仃允许运算的过程.称一切如此得来的字Q饱括初始字p本身)在结合演算班中等价于P〔记为班:PUQ).对任意结合演算砚，关系U是自反，对称和传递的.此外，由脚:p口Q及班:RUS可导出吸:PRUQs.这样，就可能以一种自然的方式对每个结合演算奴指定一有穷表示结合系统凡，凡的元素是A中字的等价类，凡的乘法运算是由A中字的联接运算导出的.这样构造的结合系统人将有一单位元(由空字表示的元素);凡的由字母表A的字母表示的元素将组成凡的生成元系，其中关系。

说明：补充资料仅用于学习参考，请勿用于其它任何用途。