●归约方法的主要思想: 种结构化方法(只依赖于成分的结果) 根据语言的成分给出归约系统的方法 归约系统是由以下部分组成的: 组归约公理 组推理规则,称为归约规则 ●归约的对象为格局( configuration),归约 的结果也是格局; ●初始格局和终止格局; 2021/2/52021/2/5 25 ⚫ 归约方法的主要思想： –一种结构化方法（只依赖于成分的结果） –根据语言的成分给出归约系统的方法 ⚫ 归约系统是由以下部分组成的： –一组归约公理 –一组推理规则，称为归约规则 ⚫ 归约的对象为格局（configuration），归约 的结果也是格局； ⚫ 初始格局和终止格局；