有穷损害优先方法

有穷损害优先方法（finite injury priority method），计算机科学技术名词，可计算性理论中的基本构造方法。该方法把一个条件分解成无穷个需求，所有需求排成一个线性优先序，这里排在前面的需求优先被满足。构造允许满足一个需求时优先性更低的需求被损害。该方法要求每一个需求经过有限次动作后必然被满足。