初始代数语义

（计算机科学技术）

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