彈球機方法(pinball machine method)一種重要的遞歸論構造方法一般用於無窮損傷方法。
在無窮損傷方法中，通常lim,r(e,s)弋oo(其中r(e,x)表示Re在:步的限制函式)，且只能lim inf,}r(e,s)<二.或Re對優先權較低的需求會打開無窮多次視窗”.但當多個需求共同作用時，有可能產生一個需求的限制函式減小、另一個卻增加的情形，即可能產生lim inf,}(max (r(eo,s),r(e s)))=}的情形.彈球機方法就是為解決此障礙設計的.其基本思想是:當某個正需求產生候選元以後，該元並不是一步就進人要構造的集合(需要該元在某一時刻同時大於所有優先權較高的需求的限制函式)，而是逐步進行.只要該元大於某個優先權較高需求的限制函式，就可以“通過”這個需求的限制，而等待下一個需求的限制函式降低.若該候選元通過了所有優先權較高的需求的限制，則這個元就能放人要構造的集合.
