El problema de la parada es un ejemplo.