泛代数和代数数据类型.pptVIP

***************************************************2.5代数数据类型2.5.3解释没有意义的项表达式没有意义的情况除法是一个部分函数，除数为零的表达式没意义调用不终止的函数也构成一个没有意义的表达式如果想在代数规范中表示这些情况，必须在基调中增加表示错误的项（简称错误值）怎样规定这些项的值？有三种可能： 什么也不规定 任意做一个决定 非常仔细地说明什么是所需要的第62页，共85页，星期日，2025年，2月5日2.6重写系统2.6.1基本定义重写系统：用于代数项的归约系统R两种重要的应用为代数项提供一种计算模型自动定理证明由一组叫做重写规则(L?R)的有向等式组成限制：Var(R)?Var(L)由R确定的一步归约关系?R [SL?x]M?R[SR?x?M关系?R是?R的自反传递闭包第63页，共85页，星期日，2025年，2月5日2.6重写系统sorts: