Este programa recibirá como dato de entrada el código de un programa cualquiera "w", y usará el programa "Termina" para decidir si el programa "w" termina cuando se le suministra ella misma como entrada (no hay nada de raro en esto, pues en la práctica hay programas como los compiladores se pueden suministrarse a sí mismos como dato de entrada).