È possibile simulare una moneta equa con un numero finito di lancio di una parte?

Question

È un problema classico simulare una moneta equa con una distorta.

Secondo Fiera moneta (wiki),

John von Neumann ha dato la seguente procedura:

1. Lancia la moneta due volte.
2. Se i risultati corrispondono, ricomincia, dimenticando entrambi i risultati.
3. Se i risultati differiscono, usa il primo risultato, dimenticando il secondo.

Nel peggiore dei casi, la procedura potrebbe non terminare.

Problema: È possibile progettare un algoritmo che garantisce la terminazione nel peggiore dei casi? Qual è la tecnica per risolvere un tale problema di impossibilità?