编译原理：直接推导、间接推导、n次推导、规范推导

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

 

 

间接推导、n次推导

有两种符号

第一种是,表示多次运用直接推导

第二种是,表示零次或多次运用直接推导

n表示中间的步骤数

 

规范推导

其实就是最右推导