turingmaschine q Startseite 2. Algorithmen 5. Berechenbarkeit + 1. Das Halteproblem + 1. Endlosschleifen + 2. Das Halteproblem + 3. Automatisierte Programmanalyse + 4. Ein seltsames Halteanalyseprogramm + 5. Lösbarkeit des Halteproblems + 6. Zusammenfassung - Lösbarkeit des Halteproblems + 2. Lösbarkeit von Problemen + 1. Das Neun-Punkte-Problem + 2. Lösungen zum Neun-Punkte-Problem + 3. Lösbarkeit des Neun-Punkte-Problems + 4. Algorithmische Lösbarkeit von Problemen - 3. Turingmaschine als Berechnungsmodell + 1. Auf den Spuren von Alan Turing + 2. Ein Marienkäfer als Turingmaschine + 3. Präzisierung der Turingmaschine + 4. Turingmaschinen-Berechenbarkeit + 5. Eine universelle Turingmaschine + 6. Turingmaschine als Berechnungsmodell + 4. Weitere Berechnungsmodelle + 1. Registermaschine als Berechnungsmodell + 2. While-Programmiersprache als Berechnungsmodell + 3. Church-Turing-These + 5. Grenzen der Berechenbarkeit + 1. Aufzählung aller Turingmaschinen + 2. Existenz nicht berechenbarer Funktionen + 3. Das Halteproblem + 4. Fleißige Biber + 5. Ein Blick in die Geschichte
