求能推出λ的非终极符 s Lambda=[A1|A;→∈Pset 对p∈PSet:A→X1…xn 如果X;∈ S Lambda,0≤isn,则 S Lambda = S Lambda U A. 重复第二步,直至 s Lambda收敛为止求能推出的非终极符 ⚫ S_Lambda = {Aj | Aj →   PSet}; ⚫ 对pPSet：Ap → X1…Xn, 如果XiS_Lambda, 0in，则 S_Lambda = S_Lambda  {Ap} ⚫ 重复第二步，直至S_Lambda收敛为止