弹球机方法(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(es)))=}的情形.弹球机方法就是为解决此障碍设计的.其基本思想是:当某个正需求产生候选元以后，该元并不是一步就进人要构造的集合(需要该元在某一时刻同时大于所有优先级较高的需求的限制函数)，而是逐步进行.只要该元大于某个优先级较高需求的限制函数，就可以“通过”这个需求的限制，而等待下一个需求的限制函数降低.若该候选元通过了所有优先级较高的需求的限制，则这个元就能放人要构造的集合.