Beschrijf de architectuur en werking van een Turingmachine in detail. Ga vervolgens in op het concept van het stopprobleem (Halting Problem). Leg uit wat dit probleem inhoudt en waarom Alan Turing bewees dat er geen algoritme bestaat dat voor elk mogelijk programma en elke mogelijke invoer kan bepalen of het programma ooit stopt of oneindig doorloopt. Gebruik redeneren door tegenspraak in je uitleg.