名词解释

【参考答案】

任何一步α=>β都是对α中的最右非终结符替换。