Este problema consiste en tomar un programa y sus datos y decidir si va a terminar o si se ejecutará indefinidamente.