En la práctica, este último caso se manifiesta como programas que se quedan ""trabados"" o que entran a un bucle infinito.