第18章 代数语义学.pptVIP

第18章 代数语义学 抽象代数 只给出一抽象的A集合和(组合)算子{o}，以及在构造中某些必需满足的公理、定理。 抽象代数从更高的层次上研究构造子和承载子之间的关系，它不规定具体的值集和操作集，只给出一抽象的A集合和(组合)算子{o}，以及在构造中某些必需满足的公理、定理。《抽象代数》中对构造子不同的约定(即应满足的性质)得到不同的抽象代数: 群: (A，{o}) //o不满足任何定理 半群: (A，{o}) // o必需满足结合律: x o (y o z) = (x o y) o z 独导半群满足恒等定律: x o (i(a)) = x = (i(a)) o x //其中(A，{o})是一个半群, i是恒等操作(函数) i(a)为A的单位元。若o是+，A是整数集，i((a) = 0。同样若o是*，i(a) = 1。单位元是相对o而言的。 每一群(A，{o , i })中都有一逆操作i-1的独异(A，{o，i-1})满足逆定律: x o i-1 = i(a) = i-1 o x