直接推导，直接运用规则进行的推导
间接推导、n次推导
有两种符号
第一种是,表示多次运用直接推导
第二种是,表示零次或多次运用直接推导
n表示中间的步骤数
规范推导
其实就是最右推导
编译原理：直接推导、间接推导、n次推导、规范推导
原文：https://www.cnblogs.com/Asterism12/p/11493246.html
,表示多次运用直接推导
,表示零次或多次运用直接推导