[判断]  所谓最右推导是指：任何一步αβ都是对α中最右非终结符进行替换的。