我觉得讲课的老师都不一定能搞清楚这些文法到底是什么东西
可以理解成字符串替换吧
有一个字符串αβγ 如果β→b是一个产生式，且α，γ∈（VT∪VN）*. 那么就可以有αβγ=>αbγ，叫做αβ直接推出αbγ.
α1=>α2=>α3=>...=>αn 叫做从α1到αn的一个推导，α1可以推导出αn