推导的定义 若存在v=wo→w1→…→wn=w,(m>0) 则记为v=+w,称作v推导出w,或w归约 到 若有ⅴ=+w或v=w,则记为v=>*w11 推导的定义 若存在v =w0 w1 ... wn =w,(n>0) 则记为v =>+ w，称作v推导出w，或w归约 到v 若有v =>+ w 或 v=w， 则记为v =>* w