Erklären Sie das theoretische Konzept der Turingmaschine ausführlich. Diskutieren Sie die formale Definition, die Bestandteile (BAND, KOPF, STEUERUNG, ZUSTANDSMENGE) und warum dieses Modell als das universelle Maß für Berechenbarkeit in der Informatik gilt. Vergleichen Sie es theoretisch mit der Church-Turing-These.