Beschrijf de theoretische opbouw van een Turing-machine. Leg uit wat wordt bedoeld met een 'oneindige band' en hoe dit model helpt om de grenzen van wat berekenbaar is te bepalen. Bespreek kort het concept van de 'Halting Problem'.