
直接推导,直接运用规则进行的推导

间接推导、n次推导
有两种符号
第一种是
,表示多次运用直接推导
第二种是
,表示零次或多次运用直接推导
n表示中间的步骤数

规范推导
其实就是最右推导

直接推导,直接运用规则进行的推导

间接推导、n次推导
有两种符号
第一种是
,表示多次运用直接推导
第二种是
,表示零次或多次运用直接推导
n表示中间的步骤数

规范推导
其实就是最右推导
本站转载的文章为个人学习借鉴使用,本站对版权不负任何法律责任。如果侵犯了您的隐私权益,请联系本站邮箱yoyou2525@163.com删除。