如果在推导过程中的任何一步α⇒β,都是对α中的最右非终结符进行替换,则称这种推导为___________。