Back مسألة توقف Arabic Стоп-проблем Bulgarian Problema de la parada Catalan Problém zastavení Czech Halteproblem German Πρόβλημα τερματισμού Greek Halting problem English Problemo de halto EO Problema de la parada Spanish مسئله توقف FA
Halting-problemet er et problem indenfor komputabilitetsteori. Problemet lyder:
"Eksisterer der en algoritme i Turing-maskinens komputationelle klasse, som kan afgøre, om en algoritme fra Turing-maskinens komputationelle klasse nogensinde stopper med et givet input?"
Alan Turing beviste i 1936 at en sådan algoritme ikke eksisterede i Turing-maskinens komputationelle klasse.