直接推导,直接运用规则进行的推导
间接推导、n次推导
有两种符号
第一种是,表示多次运用直接推导
第二种是,表示零次或多次运用直接推导
n表示中间的步骤数
规范推导
其实就是最右推导
原文地址:https://www.cnblogs.com/Asterism12/p/11493246.html
时间: 2024-10-21 16:34:05
直接推导,直接运用规则进行的推导
间接推导、n次推导
有两种符号
第一种是,表示多次运用直接推导
第二种是,表示零次或多次运用直接推导
n表示中间的步骤数
规范推导
其实就是最右推导
原文地址:https://www.cnblogs.com/Asterism12/p/11493246.html