Conocer si existe el programa "P" es, en términos resumidos, el problema de la parada.