2.2代数、基调和项 多个载体的例子 Apcp=(N,B,0,1,,+,true,false,Eq?,…〉 下面逐步给出代数的一种语法描述，有穷的 语法表示在计算机科学中十分重要，可用来 定义数据类型 -证明数据类型的性质 还必须讨论这种语法描述的指称语义 满足一组等式的除了Apc外，可能还有： Aspcr=(Ns,B,0,1,2,3,4,+s,true,false,Eq ?...2.2 代数、基调和项 • 多个载体的例子 – APCF = N, B, 0, 1, …, +, true, false, Eq ?, … • 下面逐步给出代数的一种语法描述，有穷的 语法表示在计算机科学中十分重要，可用来 – 定义数据类型 – 证明数据类型的性质 • 还必须讨论这种语法描述的指称语义 – 满足一组等式的除了APCF外，可能还有： A5 PCF= N5 ,B, 0, 1, 2, 3, 4, +5 , true, false, Eq ?, …