终结代数语义

（计算机科学技术）

终结代数语义（terminal algebra semantics），计算机科学技术名词，代数规约中以满足等式公理的全体代数类中的终结代数作为语义。其中，终结代数是指一代数类中某个特殊代数 A，使得对该代数类中每个代数B，都存在唯一的保结构映射（即同态）h：B→A 。