Although the halting problem is not computable, it is possible to simulate program execution and produce an infinite list of the programs that do halt.
Deși problema opririi nu este calculabilă, se poate simula execuția programului și se poate produce o listă infinită de programe care se opresc.