Halteproblem

Fragestellung, ob ein gegebenes Programm jemals endet oder ewig läuft