Prinzipielle Grenzen der Berechenbarkeit: Unterschied zwischen den Versionen

Aktuelle Version vom 5. März 2013, 11:20 Uhr

Lernpfad

Prinzipielle Grenzen der Berechenbarkeit

Teil 1 der Lernpfadgruppe: Grenzen der Berechenbarkeit

Zeitbedarf: ca 6-10 Unterrichtsstunden
Material: Laufzettel
Behandelte Themen: Algorithmus, Gödelisierung, Anzahl der Algorithmen, Turing-Maschine, Churchsche These, Halte-Problem, Fleißige Biber

Algorithmus

Übernehme die Definition in deinen Laufzettel!

Definition

Ein Algorithmus ist eine Verarbeitungsvorschrift, die aus einer endlichen Folge von eindeutig ausführbaren Anweisungen besteht, die aus endlich vielen Eingabedaten endlich viele Ausgabedaten erzeugt und mit der man eine Vielzahl gleichartiger Aufgaben lösen kann.

Wie du sicher bemerkt hast, kommt in dieser Definition sehr oft der Begriff "endlich" vor. Dies wird später noch eine entscheidende Rolle spielen!

Welche Aufgaben lassen sich mit einem Algorithmus umsetzen? (Lösen einer quadratischen Gleichung) (!Auflistung aller Primzahlen) (Auflistung aller Primzahlen kleiner als 300000) (Konstruieren eines Kreises durch 3 Punkte, die nicht auf einer Gerade liegen) (Wechseln eines Autoreifens) (!Schreiben einer Eins in der Schulaufgabe)

Schreibe deine Antworten auf deinen Laufzettel, bevor du in der Lösung nachsiehst.

Lösung: [Anzeigen][Verstecken]

Eine quadratische Gleichung lässt sich immer in folgender Form schreiben: $a\cdot x^2 + b \cdot x + c = 0$ . Mittels der Mitternachtsformel $x_{1,2}=\frac{-b\pm\sqrt{b^2-4\cdot a\cdot c}}{b^2}$ erhält man dann die Lösungen.
Ein Kreis durch 3 Punkte A,B,C die nicht auf einer Gerade liegen lässt sich folgendermaßen Konstruieren: 1) Verbinde die Punkt A und B, sowie B und C mit einer Strecke. 2) Konstruiere die Mittelsenkrechten der Strecken [AB] und [BC]. 3) Der Schnittpunkt M der beiden Mittelsenkrechten von [AB] und [BC] ist der Mittelpunkt des Kreises durch die Punkte A,B und C. 4) Zeichne den Kreis mit Mittelpunkt M und Radius [MA]. Siehe auch hier.
Das Wechseln eines Autoreifens folgendermaßen bewerkstelligen: 1) Stelle den Wagenheber unter die Markierung für den zu wechselnden Reifen. 2) Betätige den Wagenheber, so dass der Reifen entlastet wird, aber immer noch Bodenkontakt hat. 3) Lockere die Radmuttern mit Hilfe des Radkreuzes durch Drehen gegen den Uhrzeigersinn, aber schraube die Radmuttern nicht ganz ab. 4) Betätige den Wagenheber weiter, so dass der Reifen keinen Bodenkontakt mehr hat. 5) Ziehe den Reifen vorsichtig ab, so dass das Auto nicht vom Wagenheber rutscht. 6)Führe die Schritte 1-5 in umgekehrter Reihenfolge und umgekehrter Drehrichtung mit dem neuen Reifen durch.
Ein Auflistung aller Primzahlen ist nicht möglich, da es unendlich viele davon gibt. Dies widerspricht der Definition eines Algorithmus, dass er endlich viele Ausgabedaten erzeugt.
Die Auflistung alles Primzahlen kleiner als 300000 ist aber z.B. mit dem Sieb des Eratosthenes möglich, da es eine feste Anzahl ist.
Das Schreiben einer Eins ist leider nicht möglich, sonst könnte man in jedem Fach ohne große Probleme eine Eins haben.

Gödelisierung

Wir versuchen jetzt Hilfe von der Mathematik zu erhalten. Dazu wandelt man Probleme in eine Form um, die es erlaubt, Wissen über Abbildungen innerhalb der natürlichen Zahlen zu benutzen. Um dies zu erreichen, wandelt man die Ein- und Ausgabedaten in natürliche Zahlen um.

Aufgabe

Die 26 Buchstaben des Alphabets werden mit den Zahlen 1 bis 26 kodiert. Damit könnte man ein geschriebenes Wort als Zahl schreiben. Dekodiere die Zahl "26235945212097"! Welche Buchstabenfolge erhält man nach dem Dekodieren? Übernehme das dekodierte Wort in deinen Laufzettel.

[Lösung anzeigen][Lösung ausblenden]

Möglichkeiten für das dekodierte Wort sind z.B.: ZWEIDEUTIG oder BFBCEIDEBATIG oder ..., da man nicht weiß, ob z.B. 26 als Z oder als BF interpretiert werden soll.

Aufgabe

Nun werden die 26 Buchstaben des Alphabets mit den Zahlen 01 bis 26 kodiert. Schreibt man die kodierten Buchstaben hintereinander, so erhält man eine Zahl. Dekodiere die Zahl "26230509060512121519". Übernehme das dekodierte Wort in deinen Laufzettel.

[Lösung anzeigen][Lösung ausblenden]

Das dekodierte Wort lautet: ZWEIFELLOS

Jetzt wird es etwas schwieriger. Diese Aufgabe musst du dir genau durchlesen. Vielleicht auch mehrmals. Solltest du nicht auf die Lösung kommen, kannst du dir die versteckte Lösung anschauen.

Aufgabe

Nun werden die 26 Buchstaben des Alphabets wie folgt kodiert: Den 26 Buchstaben des Alphabets wird jeweils eine eindeutige Zahl zwischen 1 und 26 zugeordnet. Ein Wort wird nun mit fortlaufenden Primzahlpotenzen kodiert, also wenn a die Zahl 1, b die Zahl 2, c die Zahl 3 zugeordnet wird, dann wird das Wort abbca wie folgt kodiert:

a ist der erste Buchstabe des Wortes und 2 die erste Primzahl. Also wird das a mit $2^1=2$ kodiert.
b ist der zweite Buchstabe des Wortes und 3 die zweite Primzahl. Also wird das b mit $3^2=9$ kodiert.
b ist der dritte Buchstabe des Wortes und 5 die dritte Primzahl. Also wird dieses b mit $5^2=25$ kodiert.
c ist der vierte Buchstabe des Wortes und 7 die vierte Primzahl. Also wird das c mit $7^3=343$ kodiert.
a ist der fünfte Buchstabe des Wortes und 11 die fünfte Primzahl. Also wird dieses a mit $11^1=11$ kodiert.

Multipliziert man diese Zahlen miteinander, erhält man die Zahl $2\cdot 9\cdot 25\cdot 343\cdot 11=1697850$ . Da die Primfaktorzerlegung eindeutig ist, wenn man die Primzahlpotenzen aufsteigend ordnet, kann man aus jeder Zahl das zugehörige Wort erzeugen.

Welche Buchstabenfolge erhält man, wenn man die Zahl

" $2^9\cdot 3^{14}\cdot 5^6\cdot 7^{15}\cdot 11^{18}\cdot 13^{13}\cdot 17^{1}\cdot 19^{20}\cdot 23^9\cdot 29^{11}$ "

dekodiert?

Übernehme das dekodierte Wort auf deinen Laufzettel. Falls du nicht auf die Lösung gekommen bist, notiere auf dem Laufzettel Wort "zu schwer" und lies dir die Lösung durch.

[Lösung anzeigen][Lösung ausblenden]

Das dekodierte Wort lautet: INFORMATIK.

$2^9$ entspricht I (1. Primzahl bedeutet 1. Buchstabe des Wortes und 9. Buchstabe des Alphabets)
$3^{14}$ entspricht N (2. Primzahl bedeutet 2. Buchstabe des Wortes und 14. Buchstabe des Alphabets)
$5^6$ entspricht F (3. Primzahl bedeutet 3. Buchstabe des Wortes und 6. Buchstabe des Alphabets)
usw.

Diese Art der Kodierung ist eher von theoretischer Bedeutung, weil man sehr schnell extrem große Zahlen erhält. Das obige Beispiel ergäbe ausmultipliziert $4295755033035330312782822373101172263241726791467766561298496119787$ $168861226939162111091690789226678438109832000000$ (eine 115-stellige Zahl). Es ist auch ziemlich aufwändig diese Zahlen in Primfaktoren zu zerlegen. Aus diesem Grund sind große Primzahlen für die Verschlüsselungstechnik so wichtig.

Mit einer Gödelisierung lassen sich beliebige Ein- und Ausgaben in natürliche Zahlen umwandeln und umgekehrt. Dies kann mehr oder minder geschickt erfolgen. Man kann sich dazu die verschiedensten Verfahren überlegen. Kurt Gödel hat sich mit solchen Fragestellungen beschäftigt, weshalb man entsprechende Verfahren nach ihm benannt hat. Diese Vorgehensweise wird häufig in der theoretischen Informatik verwendet, da sich Algorithmen dadurch als Funktionen über den natürlichen Zahlen abbilden lassen. Zur Umwandlung existieren verschiedenste Verfahren.

Definition

Eine Gödelisierung ist eine Abbildung $g$ von der Menge der Ein- und Ausgaben $M$ eines Algorithmus in die Menge der natürlichen Zahlen $\mathbb{N}$ : $g: M \rightarrow \mathbb{N}$ . Die Abbildung muss dabei noch drei Bedingungen erfüllen:

$g$ muss injektiv sein, d.h. jede natürliche Zahl darf höchstens das Bild von einem Programm sein; aber nicht jede natürliche Zahl muss auch ein Programm sein.
Die Bildmenge muss entscheidbar sein, es muss also einen Algorithmus geben, der Ja ausgibt, wenn die Zahl einer gültigen Ein- oder Ausgabe entspricht und Nein, wenn es keine ist.
Die Umkehrfunktion $g^{-1}$ muss berechenbar sein, d.h. man muss aus der natürlichen Zahl auch wieder die zugehörige Ein- oder Ausgabe bekommen können.

Welches der obigen Verfahren eignet sich für eine Gödelisierung? (!Kodierung mit Zahlen 1 bis 26) (Kodierung mit Zahlen 01 bis 26) (Kodierung mit Primzahlpotenzen)(!Keines der Verfahren)

Übernehme deine Antworten auf den Laufzettel.

Notiere diesen Merksatz auf deinem Laufzettel.

Merke

Durch das Verfahren der Gödelisierung kann man jeden Algorithmus als eine Abbildung von einer natürlichen Zahl auf eine andere ansehen.

Wie viele Algorithmen gibt es?

Wie bei der Definition des Begriffes Algorithmus bereits erwähnt wurde, ist der Begriff der Endlichkeit von großer Bedeutung. Da ein Algorithmus eine endliche Folge von Anweisungen ist, besteht ein Algorithmus auch nur aus endlich vielen Zeichen. Mit der oben beschriebenen Gödelisierung lässt sich also jeder Algorithmus auch als eine eindeutige natürliche Zahl auffassen. Weil dann die Menge aller Algorithmen eine Teilmenge der natürlichen Zahlen ist, sind die Algorithmen abzählbar, man kann die Algorithmen also durchnummerieren.

Durch die Gödelisierung kann man die Algorithmen als Funktionen natürlicher Zahlen ansehen. Wir schreiben die Algorithmen und die möglichen Eingaben als eine unendlich große zweidimensionale Tabelle auf. An der Seite werden die Algorithmen bzw. die Funktionen der Reihe nach angetragen und als Spaltenüberschriften werden die möglichen Eingaben als Gödelnummer angetragen:

	1	2	3	4	5	...
$f_1$	$f_1(1)$	$f_1(2)$	$f_1(3)$	$f_1(4)$	$f_1(5)$	...
$f_2$	$f_1(1)$	$f_1(2)$	$f_2(3)$	$f_2(4)$	$f_2(5)$	...
$f_3$	$f_3(1)$	$f_3(2)$	$f_3(3)$	$f_3(4)$	$f_3(5)$	...
$f_4$	$f_4(1)$	$f_4(2)$	$f_4(3)$	$f_4(4)$	$f_4(5)$	...
$f_5$	$f_5(1)$	$f_5(2)$	$f_5(3)$	$f_5(4)$	$f_5(5)$	...
...	...	...	...	...	...	...

Diese Tabelle enthält alle algorithmisierbaren Funktionen. In der ersten Zeile stehen alle Funktionswerte der Funktion $f_1$ , in der zweiten Zeile stehen alle Funktionswerte der Funktion $f_2$ usw.

Wir definieren uns nun eine Funktion $g$ wie folgt:

$g(n)=f_n(n)+1$

Diese Funktion ist offensichtlich berechenbar, also müsste sie irgendwo in der Folge $f_1,f_2,f_3,...$ vorkommen. Wir nehmen an, dass es die Funktion mit der Nummer $e$ ist, also $g=f_e$ . Wir erhalten aus der Definition von $g$ , dass $g(e)=f_e(e)+1$ ist, aber aus $g=f_e$ folgt, dass $g(e)=f_e(e)$ gilt. Es soll also $f_e(e)=f_e(e)+1$ sein. Das kann aber nicht sein. Also haben wir einen Widerspruch gefunden und die Funktion $g$ kann kein Algorithmus sein!

Damit haben wir eine Funktion gefunden, für die kein Algorithmus existieren kann!

Notiere diesen Merksatz auf deinen Laufzettel.

Merke

Es gibt arithmetische Funktionen, die nicht berechenbar sind.
Es gibt überabzählbar viele arithmetische Funktionen, von denen aber nur abzählbar viele berechenbar sind.
Im Vergleich dazu, was ein Computer nicht kann, ist das, was er kann vernachlässigbar.

Beispiele für Probleme, die nicht algorithmisch lösbar sind:

Fermatsche Vermutung: Es gibt keine natürlichen Zahlen $n\geq 3$ , für die positive ganze Zahlen $x,y,z$ existieren mit $x^n+y^n=z^n$ . Erst 1994 konnte Andrew Wiles diese Vermutung mit einem 100seitigen Beweis bestätigen.
Goldbachsche Vermutung: Jede gerade Zahl $n\geq4$ lässt sich als Summe von zwei Primzahlen darstellen. Diese Vermutung konnte bis heute weder bewiesen noch widerlegt werden.
Gibt es unendliche viele Primzahlzwilligen (zwei Primzahlen, die eine Differenz von 2 haben)? Diese Frage konnte bis heute nicht entschieden werden.

Turing-Maschine

Bisher haben wir uns bei der Programmierung von Algorithmen immer auf eine Programmiersprache beschränkt (Java, C, C++, C#, VisualBasic, Pascal,...). Nun stellt sich die Frage, ob die eine Programmiersprache mehr kann als die andere.

Der englische Mathematiker Alan Turing hat dazu mit seinem Modell der Turingmaschine einen entscheidenden Teil dazu beigetragen. Er entwickelte dazu ein mathematisches Modell, das das systematische Vorgehen des Menschen z.B. bei der Addition nachbildet. Man benötigt dazu einen Bleistift, ein Rechenblatt und einen Radiergummi. Auf dem Rechenblatt werden die Rechnungen sowie alle Rechenergebnisse aufgeschrieben. Mit dem Bleistift kann man einzelne Zeichen auf das Blatt schreiben und mit dem Radiergummi auch wieder löschen. Die Aktion, die man ausführt hängt nur von den endlich vielen Zeichen auf dem Rechenblatt ab. Die Berechnung selbst wird durch eine Berechnungsvorschrift gesteuert.

Die Turingmaschine enthält deswegen folgenden Komponenten:

ein unendlich langes Speicherband mit unendlich vielen Feldern. In jedem dieser Felder ist genau ein Zeichen gespeichert. Dabei ist als Zeichen ein Blanksymbol (Leerzeichen) zugelassen, was so viel bedeutet wie „leeres Feld“. Das Blanksymbol gehört nicht zu der Menge der Eingabezeichen. Zur Vereinfachung der Vorstellung kann man sich auch ein endliches Band vorstellen. Dieses muss dann nur lang genug sein, damit die Berechnungen ausgeführt werden können.

ein Schreib-/Lesekopf, der ein Zeichen aus dem aktuellen Feld lesen und hineinschreiben kann, sowie seine Position ein Feld nach links oder rechts bewegen kann.

einen internen Zustand

Je nach Zustand, in dem sich die Turing-Maschine befindet, kann sie ein Zeichen auf das Band schreiben, den Schreib-/Lesekopf um ein Feld nach links oder rechts bewegen und den internen Zustand ändern.

Übertrage das Schaubild der Turingmaschine auf deinen Laufzettel.

Eine mathematisch exakte Definition einer Turing-Maschine ist dann wie folgt:

Definition

Eine Turingmaschine ist gegeben durch das 7-Tupel $(Z,\Sigma,\Gamma,z_0,\Box,Z_e,f)$ mit

einer endliche Zustandsmenge $Z$
einer endliche Menge an Eingabezeichen $\Sigma$
einer Menge an zulässigen Bandzeichen $\Gamma\supseteq \Sigma$ (die Menge der Eingabezeichen ist eine Teilmenge der zulässigen Bandzeichen)
einem Startzustand $z_0$
dem Blank-Symbol $\Box$
einer Menge an Endzuständen $Z_e\subset Z$
einer Überführungsfunktion $\delta:\ Z\backslash Z_e \times \Gamma \rightarrow Z \times \Gamma \times \{L,R,0\}$ (L $=$ Schreib-/Lesekopfbewegung nach links, R $=$ Schreib-/Lesekopfbewegung nach rechts, 0 $=$ keine Schreib-/Lesekopfbewegung)

Hier findet ihr noch eine Turing-Maschinen-Simulator als Java-Anwendung (Java Runtime Environment 1.5 oder höher muss installiert sein):

Turingmaschinen-Simulator

(Quelle: [1]. Dort findet sich auch eine Dokumentation)

Um den Simulator zu nutzen, musst du diesen herunterladen und auf deinem Rechner entpacken und anschließend die Datei alan-1.0.jar öffnen. Durch anklicken des Ordner-Symboles kann man vorgefertigte Turingprogramme laden und ausführen. Die Anfangskonfiguration kann man im Feld "Tape Start" angeben. Mit einem Klick auf das Play-Symbol startet die Maschine mit der Ausführung des Programms. Selbstverständlich kannst du auch eigene Programme erstellen und speichern und ausführen. Nähere Informationen findest du in der beigelegten PDF-Datei.

In dieser Tabelle ist die Überführungsfunktion einer Turingmaschine zu finden, die zwei Binärzahlen addieren kann. Die Eingabe muss dann in der Form 110+111 auf dem Band stehen.

Zustand	lesen	schreiben	Kopfbewegung	neuer Zustand
0	0	0	r	1
0	1	1	r	1
1	0	0	r	1
1	1	1	r	1
1	N	N	r	1
1	E	E	r	1
1	+	+	r	1
1	*	*	l	2
2	0	*	l	3
2	1	*	l	10
2	+	*	l	20
3	0	0	l	3
3	1	1	l	3
3	+	+	l	4
4	N	N	l	4
4	E	E	l	4
4	0	N	r	1
4	1	E	r	1
4	*	N	r	1
10	0	0	l	10
10	1	1	l	10
10	+	+	l	11
11	N	N	l	11
11	E	E	l	11
11	0	E	r	1
11	1	N	l	12
11	*	E	r	1
12	0	1	r	1
12	1	0	l	12
12	*	1	r	1
20	N	0	l	20
20	E	1	l	20
20	0	0	l	20
20	1	1	l	20

Aufgabe

Schreibe ein Programm für eine Turing-Maschine, das zwei durch ein $+$ getrennte Zahlen in Unärdarstellung (die Zahl $n$ wird durch $n$ Einsen dargestellt, 5 entspricht 11111 und 3 entspricht 111) addiert und übertrage schreibe dieses auf deinen Laufzettel. Zu Beginn steht der Kopf der Turingmaschine auf dem ersten Feld links von der ersten Zahl. Die Eingabe von 5+3 sieht dann folgendermaßen aus: 11111+111.

Du kannst zum Probieren auch den oben vorgestellten Turing-Simulator benutzen.

[Lösung anzeigen][Lösung ausblenden]

Ein mögliches Programm könnte folgendermaßen aussehen:

# entspricht dem Leerzeichen
z0,# -> z1,#,R
z1,1 -> z2,#,R
z2,1 -> z2,1,R
z2,+ -> z2,1,R
z2,# -> z3,#,0
z3 ist der Endzustand

Dieses Programm geht zuerst zu der ersten 1 nach rechts, ersetzt sie durch ein Leerzeichen, geht weiter nach rechts, bis es das + findet, ersetzt das + durch eine 1 und läuft weiter nach rechts bis es das nächste Leerzeichen findet und stoppt. Auf dem Band steht dann die Summe der beiden Unärzahlen.

Churchsche These

Warum befassen wir uns mit Turing-Maschinen? Das Modell der Turing-Maschinen ist die erste exakte Präzisierungen des Begriffs "Algorithmus" gewesen, d.h. jede berechenbare Funktion kann durch eine Turing-Maschine realisiert werden. Umgekehrt repräsentiert jede Turing-Maschine eine berechenbare Funktion. Das ist der Grund, warum sich die theoretische Informatik mit Turing-Maschinen beschäftigt.

Notiere die Churchsche These auf deinem Laufzettel.

Merke

These von Church

Jede im intuitiven Sinne berechenbare Funktion ist auch turing-berechenbar, d.h. man kann eine Turing-Maschine entwerfen, die diese Funktion berechnet.

Diese These kann man natürlich nicht beweisen, da der Begriff "intuitiv berechenbar" nicht mathematisch präzisiert werden kann.

An der Station über Turing-Maschinen hast du bereits eine in Java realisierte Turing-Maschine kennen gelernt. Die Programmiersprache Java kann also mindestens genauso viele Programme realisieren wie eine Turing-Maschine. Es lässt sich aber auch zeigen, dass die Turing-Maschine genauso viel berechnen können wie z.B. Java.

Nicht berechenbare Probleme

Das Halteproblem

Die folgende Situation hast du vielleicht auch schon erlebt:

Du hast ein tolles Programm geschrieben und willst es einem Freund oder einer Freundin zeigen. Du startest das Programm mit einer zuvor nicht getesteten Eingabe. Ihr beide sitzt vor dem Bildschirm und der Rechner rechnet und rechnet.

Jetzt stellt sich die Frage ob das Programm soviel Zeit benötigt, weil die Berechnung so komplex ist oder befindet sich das Programm in einer Endlosschleife?

An dieser Stelle wünscht man sich ein Programm, dem man das eigene Programm übergibt und das dann ein "Ja" ausgibt, falls unser Programm für alle möglichen Eingaben anhält, oder "Nein", falls es eine Eingabe gibt, für die das Programm nicht anhält.

Kann es ein solches Haltetest-Programm geben?

Nehmen wir einmal an, es gibt ein solches Java-Programm. Der Quelltext sieht dann in etwa folgendermaßen aus:

class HalteTester{
    static boolean esStoppt;
    public static void main(String args []){
        // hier wird das eingegebene Programm untersucht
        // und je nach Ergebnis die Variable esStoppt gesetzt
        if (esStoppt==true){
            System.out.println("Das Programm ist selbststoppend.");
            }
        else System.out.println("Das Programm ist nicht selbststoppend.");
    }
}

Wenn ein solches Programm "HalteTester" existiert, dann kann man auch folgendes Programm schreiben:

class Wundersam{
    static boolean esStoppt;
    public static void main(String args  []){
        // hier wird das eingegebene Programm untersucht
        // und je nach Ergebnis die Variable esStoppt gesetzt,
        // genau wie bei HalteTester.
        if (esStoppt==true){
            System.out.println("Das Programm ist selbststoppend.");
            while(true) { /* Endlosschleife */ }
        }
        else System.out.println("Das Programm ist nicht selbststoppend.");
    }
}

Das Programm "Wundersam" unterscheidet sich vom Programm "HalteTester" nur durch die eingebaute Endlosschleife. Ist das Programm "Wundersam" nun selbststoppend?

Angenommen das Programm "Wundersam" ist selbststoppend. Dann wir zuerst der Testteil ausgeführt und die Variable "esStoppt" erhält den Wert "true", weil das Programm "Wundersam" nach Annahme selbststoppend ist. Anschließend wir der Text "Das Programm ist selbststoppend." ausgegeben und das Programm gerät in eine Endlosschleife. Das Programm wird also nicht stoppen. Dies ist ein Widerspruch dazu, dass das Programm selbststoppend ist.

Nehmen wir jetzt an, dass das Programm "Wundersam" nicht selbststoppend ist. Dann wird wieder der Testteil ausgeführt und die Variable "esStoppt" erhält den Wert "false", weil das Programm nach Annahme nicht selbststoppend ist. Anschließend wird dann der Text "Das Programm ist nicht selbststoppend." ausgegeben und das Programm "Wundersam" stoppt. Dies ist ein Widerspruch dazu, dass das Programm nicht selbststoppend ist.

Wir haben jetzt die beiden Fälle untersucht, ob das Programm "Wundersam" stoppt oder nicht und sind zu keinem Ergebnis gekommen. Das Programm ist also gleichzeitig selbststoppend und nicht selbststoppend. Nach den Gesetzen der Logik kann es ein solches Programm "Wundersam" nicht geben. Dies hat zur Folge, dass es auch das Programm "HalteTester" nicht geben kann, da das Programm "Wundersam" aus dem Programm "HalteTester" konstruiert worden ist.

Merke

Damit ist bewiesen, dass es kein Java-Programm (und damit auch kein Programm in einer anderen Programmiersprache) gibt, mit dem man für jedes andere Java-Programm entscheiden kann, ob es bei beliebiger Eingabe anhält oder nicht.

Aufgabe

Kann es außer Endlosschleifen auch andere Gründe dafür geben, dass ein Programm nicht anhält?

[Lösung anzeigen][Lösung ausblenden]

Nein, es kann keinen anderen Grund dafür geben, denn ein Programm ist eine endliche Folge von Anweisungsblöcken, die in endlicher Zeit abgearbeitet sein muss, falls nicht mindestens einer der Anweisungsblöcke eine unendliche Folge von Einzelanweisungen ist.

Fleißige Biber

Als Abschluss wollen wir noch eine klar zu beschreibende und dennoch nicht berechenbare Aufgabe betrachten: Die Fleißigen Biber (engl. busy beaver).

Bei den Fleißigen Bibern geht es darum, eine Turing-Maschine mit $n$ Zuständen (plus einem Endzustand) zu finden, die eine maximale Anzahl an Einsen auf das Band schreibt und dann stoppt. Nun ist die Frage, wie viele Einsen das sind. Man bezeichnet diese Funktion auch als Radó-Funktion.

Überlegen wir uns einmal, wie viele verschiedene Turingmaschinen man mit $n$ Zuständen "bauen" kann.

Die Überführungsfunktion einer solchen Turingmaschine ist dann wie folgt definiert:

$\delta: (Z\backslash Z_e,\Gamma)\rightarrow (Z,\Gamma,\{L,R,0\})$

Dabei ist

$|Z\backslash Z_e|=n$ (Anzahl der Nicht-Endzustände)
$|\Gamma|=|\{\Box,1\}|=2$ (Anzahl der Buchstaben des Bandalphabets)
$|Z|=n+1$ (Anzahl aller Zustände incl. Endzustand)
$|\{L,R,0\}|=3$ (Anzahl der möglichen Bandbewegungen).

Die Definitionsmenge der Überführungsfunktion hat dann also $|(Z\backslash Z_e, \Gamma)| = |Z\backslash Z_e|\cdot |\Gamma| = n \cdot 2$ Elemente und die Zielmenge $|(Z,\Gamma,\{L,R,0\})| = |Z| \cdot |\Gamma| \cdot |\{L,R,0\}| = (n+1)\cdot 2 \cdot 3 = 6\cdot (n+1)$ Elemente.

Man weiß, dass die Anzahl der Abbildungen zwischen zwei Mengen $M$ mit $m$ Elementen und $N$ mit $n$ Elementen gleich $n^m$ ist.

Die Anzahl der möglichen Turing-Maschinen ist dann die Anzahl der Abbildungen zwischen $(Z\backslash Z_e, \Gamma)$ und $(Z,\Gamma,\{L,R,0\})$ . Dies sind gerade $(6\cdot (n+1))^{2n}$

Damit erhält man in Abhängigkeit von $n$ folgende Anzahl an Turingmaschinen:

n (Anzahl der Zustände)	N (Anzahl der Turingmaschinen)
$1$	$144$
$2$	$104976$
$3$	$191102976$
$4$	$656100000000$
$5$	$3,65615844 \cdot 10^{15}$
$6$	$3,01294695 \cdot 10^{19}$
$7$	$3,44649238 \cdot 10^{23}$
$8$	$5,22757361 \cdot 10^{27}$
$9$	$1,01559957 \cdot 10^{32}$
...	...

Man kann also erkennen, dass die Anzahl der Turing-Maschinen, die man untersuchen muss extrem schnell ansteigt. Aus diesem Grund kennt man auch erst die ersten 4 Werte der Radó-Funktion $\Sigma(n)$ . Diese sind:

$\Sigma(1)=1$
$\Sigma(2)=4$
$\Sigma(3)=6$
$\Sigma(4)=13$

Für alle größeren $n$ gibt es nur Schätzungen. Von $\Sigma(5)$ weiß man nur, dass der Wert mindestens 4096 ist, d.h. eine Turingmaschine mit 5 Zuständen kann mindestens 4096 Einsen auf ein leeres Band schreiben, eine Turing-Maschine mit 6 Zuständen sogar mindestens 95524079 Einsen. Der Grund dafür, dass man keine genaue Zahl angeben kann, ist, dass man alle möglichen Turing-Maschinen testen muss, ob sie anhalten oder nicht. Wenn eine Turing-Maschine anhält, weiß man, wie viele Einsen sie auf das Band geschrieben hat. Hält eine Turing-Maschine allerdings nicht an, muss man noch beweisen, dass sie nicht anhält.

Selbst für kleinere Zustandszahlen wie 5 oder 6 ist es nicht mehr möglich alle möglichen Turingmaschinen zu überprüfen. Angenommen wir hätten einen Computer, der in einer Sekunde für 1 Million Turing-Maschinen überprüfen kann, ob sie halten (es müsste einen Computer geben, der das Halteproblem lösen kann) und wenn ja, wie viele Einsen sie auf das leere Band schreiben kann, würde dies für $n=5$ bereits über 115 Jahre dauern.

Aufgabe

Schreibe einen fleißigen Biber mit einem Zustand plus Endzustand der genau eine 1 auf das leere Band schreibt und dann stoppt.

[Lösung anzeigen][Lösung ausblenden]

Ein Turing-Programm mit einem Zustand plus Endzustand, das eine 1 auf das Band schreibt, sieht folgendermaßen aus:

# entspricht dem Leerzeichen, z1 ist der Endzustand
z0,# -> z1, 1, R

Aufgabe

Schreibe einen fleißigen Biber mit zwei Zuständen plus Endzustand der genau vier 1en auf das leere Band schreibt und dann stoppt.

[Lösung anzeigen][Lösung ausblenden]

Ein Turing-Programm mit zwei Zuständen plus Endzustand, das eine 1111 auf das Band schreibt, sieht folgendermaßen aus:

# entspricht dem Leerzeichen, z3 ist der Endzustand
z0,# -> z1, 1, L
z0,1 -> z1, 1, R
z1,# -> z0, 1, R
z1,1 -> z2, 1, R

Prinzipielle Grenzen der Berechenbarkeit: Unterschied zwischen den Versionen

Aktuelle Version vom 5. März 2013, 11:20 Uhr

Algorithmus

Gödelisierung

Wie viele Algorithmen gibt es?

Turing-Maschine

Churchsche These

Nicht berechenbare Probleme

Das Halteproblem

Fleißige Biber

Navigationsmenü

Meine Werkzeuge

Namensräume

Varianten

Ansichten

Aktionen

Suche

Navigation

Werkzeuge

@@ Zeile 1: / Zeile 1: @@
-<!--<div class="zuordnungs-quiz">
+{{Lernpfad-M|<big>'''Prinzipielle Grenzen der Berechenbarkeit'''</big>
-<big>'''Ich packe meinen Koffer...'''</big><br>
+__NOTOC__
-Fülle den Reisekoffer optimal aus und lege nichtbenötigte Gegenstände in die Ablage!
-{|
-| Koffer|| Taschenlampe (15€) || [[Bild:4706bee.web.jpg|60px]] || Ameise || Motte
-|-
-| Ablage|| Pflaume || [[Bild:Rote_Birne.jpg|60px]] || Apfel || Kirsche || Banane
-|}
-</div>-->
+''Teil 1 der Lernpfadgruppe: Grenzen der Berechenbarkeit''
+*'''Zeitbedarf: ca 6-10 Unterrichtsstunden'''
+*'''Material: Laufzettel'''
+*'''Behandelte Themen: Algorithmus, Gödelisierung, Anzahl der Algorithmen, Turing-Maschine, Churchsche These, Halte-Problem, Fleißige Biber
+}}
 == Algorithmus ==
+'''Übernehme die Definition in deinen Laufzettel!'''
 {{Definition|
 Ein '''Algorithmus''' ist eine Verarbeitungsvorschrift, die aus einer endlichen Folge
 von eindeutig ausführbaren Anweisungen besteht, die aus endlich vielen Eingabedaten endlich viele Ausgabedaten erzeugt und mit der man eine Vielzahl gleichartiger Aufgaben lösen kann.
 }}
 Wie du sicher bemerkt hast, kommt in dieser Definition sehr oft der Begriff "endlich" vor. Dies wird später noch eine entscheidende Rolle spielen!
@@ Zeile 21: / Zeile 22: @@
 <div class="multiplechoice-quiz">
-Wobei handelt es sich um einen Algorithmus? (Lösen einer quadratischen Gleichung) (!Auflistung aller Primzahlen) (Konstruieren eines Kreises durch 3 Punkte, die nicht auf einer Gerade liegen) (Wechseln eines Autoreifens) (!Schreiben einer Eins in der Schulaufgabe)
+'''Welche Aufgaben lassen sich mit einem Algorithmus umsetzen?''' (Lösen einer quadratischen Gleichung) (!Auflistung aller Primzahlen) (Auflistung aller Primzahlen kleiner als 300000) (Konstruieren eines Kreises durch 3 Punkte, die nicht auf einer Gerade liegen) (Wechseln eines Autoreifens) (!Schreiben einer Eins in der Schulaufgabe)
+'''Schreibe deine Antworten auf deinen Laufzettel, bevor du in der Lösung nachsiehst.'''
 </div>
+Lösung: {{versteckt|
+* Eine quadratische Gleichung lässt sich immer in folgender Form schreiben: <math>a\cdot x^2 + b \cdot x + c = 0</math>. Mittels der Mitternachtsformel <math>x_{1,2}=\frac{-b\pm\sqrt{b^2-4\cdot a\cdot c}}{b^2}</math> erhält man dann die Lösungen.
+* Ein Kreis durch 3 Punkte A,B,C die nicht auf einer Gerade liegen lässt sich folgendermaßen Konstruieren: 1) Verbinde die Punkt A und B, sowie B und C mit einer Strecke. 2) Konstruiere die Mittelsenkrechten der Strecken [AB] und [BC]. 3) Der Schnittpunkt M der beiden Mittelsenkrechten von [AB] und [BC] ist der Mittelpunkt des Kreises durch die Punkte A,B und C. 4) Zeichne den Kreis mit Mittelpunkt M und Radius [MA]. Siehe auch [http://www.hirnwindungen.de/wunderland/grundkons/kreismittelpunkt.html hier].
+* Das Wechseln eines Autoreifens folgendermaßen bewerkstelligen: 1) Stelle den Wagenheber unter die Markierung für den zu wechselnden Reifen. 2) Betätige den Wagenheber, so dass der Reifen entlastet wird, aber immer noch Bodenkontakt hat. 3) Lockere die Radmuttern mit Hilfe des Radkreuzes durch Drehen gegen den Uhrzeigersinn, aber schraube die Radmuttern nicht ganz ab. 4) Betätige den Wagenheber weiter, so dass der Reifen keinen Bodenkontakt mehr hat. 5) Ziehe den Reifen vorsichtig ab, so dass das Auto nicht vom Wagenheber rutscht. 6)Führe die Schritte 1-5 in umgekehrter Reihenfolge und umgekehrter Drehrichtung mit dem neuen Reifen durch.
+* Ein Auflistung aller Primzahlen ist nicht möglich, da es unendlich viele davon gibt. Dies widerspricht der Definition eines Algorithmus, dass er endlich viele Ausgabedaten erzeugt.
+* Die Auflistung alles Primzahlen kleiner als 300000 ist aber z.B. mit dem [http://de.wikipedia.org/wiki/Sieb_des_Eratosthenes Sieb des Eratosthenes] möglich, da es eine feste Anzahl ist.
+* Das Schreiben einer Eins ist leider nicht möglich, sonst könnte man in jedem Fach ohne große Probleme eine Eins haben.
+}}
 <!--
@@ Zeile 51: / Zeile 62: @@
 Wir versuchen jetzt Hilfe von der Mathematik zu erhalten. Dazu wandelt man Probleme in eine Form um, die es erlaubt, Wissen über Abbildungen innerhalb der natürlichen Zahlen zu benutzen.
-Um dies zu erreichen, wandelt man die Ein- und Ausgabedaten in natürliche Zahlen um. Dies kann mehr oder minder geschickt erfolgen. Kurt Gödel hat sich  mit solchen Fragestellungen beschäftigt, weshalb man entsprechende Verfahren '''Gödelisierungen''' nennt..
+Um dies zu erreichen, wandelt man die Ein- und Ausgabedaten in natürliche Zahlen um.
+{{Aufgabe-Mathe|
+Die 26 Buchstaben des Alphabets werden mit den Zahlen '''1''' bis '''26''' kodiert. Damit könnte man ein geschriebenes Wort als Zahl schreiben. Dekodiere die Zahl "26235945212097"!
+Welche Buchstabenfolge erhält man nach dem Dekodieren? '''Übernehme das dekodierte Wort in deinen Laufzettel'''.
+{{Lösung versteckt|
+Möglichkeiten für das dekodierte Wort sind z.B.: ZWEIDEUTIG oder BFBCEIDEBATIG oder ..., da man nicht weiß, ob z.B. '''26''' als '''Z''' oder als '''BF''' interpretiert werden soll.
+}}
+}}
 {{Aufgabe-Mathe|
-Die 26 Buchstaben des Alphabets werden mit den Zahlen 1 bis 26 kodiert. Damit könnte man ein geschriebenes Wort als Zahl schreiben. Dekodiere die Zahl "26235945212097"!
+Nun werden die 26 Buchstaben des Alphabets mit den Zahlen '''01''' bis '''26''' kodiert. Schreibt man die kodierten Buchstaben hintereinander, so erhält man eine Zahl. Dekodiere die Zahl "26230509060512121519". '''Übernehme das dekodierte Wort in deinen Laufzettel'''.
-Welche Buchstabenfolge erhält man nach dem Dekodieren?
 {{Lösung versteckt|
-Möglichkeiten für das dekodierte Wort sind z.B.: ZWEIDEUTIG oder BFBCEIDEBATIG oder ...
+Das dekodierte Wort lautet: ZWEIFELLOS
 }}
 }}
+Jetzt wird es etwas schwieriger. Diese Aufgabe musst du dir genau durchlesen. Vielleicht auch mehrmals. Solltest du nicht auf die Lösung kommen, kannst du dir die versteckte Lösung anschauen.
 {{Aufgabe-Mathe|
@@ Zeile 68: / Zeile 87: @@
 Den 26 Buchstaben des Alphabets wird jeweils eine eindeutige Zahl zwischen 1 und 26 zugeordnet. Ein Wort wird nun mit fortlaufenden Primzahlpotenzen kodiert, also wenn a die Zahl 1, b die Zahl 2, c die Zahl 3 zugeordnet wird, dann wird das Wort '''abbca''' wie folgt kodiert:
-* a ist der erste Buchstabe des Wortes und 2 die erste Primzahl. Also wird das a mit <math>2^1=2</math> kodiert.
+* a ist der '''erste Buchstabe''' des Wortes und 2 die '''erste Primzahl'''. Also wird das a mit <math>2^1=2</math> kodiert.
-* b ist der zweite Buchstabe des Wortes und 3 die zweite Primzahl. Also wird das b mit <math>3^2=9</math> kodiert.
+* b ist der '''zweite Buchstabe''' des Wortes und 3 die '''zweite Primzahl'''. Also wird das b mit <math>3^2=9</math> kodiert.
-* b ist der dritte Buchstabe des Wortes und 5 die dritte Primzahl. Also wird dieses b mit <math>5^2=25</math> kodiert.
+* b ist der '''dritte Buchstabe''' des Wortes und 5 die '''dritte Primzahl'''. Also wird dieses b mit <math>5^2=25</math> kodiert.
-* c ist der vierte Buchstabe des Wortes und 7 die vierte Primzahl. Also wird das c mit <math>7^3=343</math> kodiert.
+* c ist der '''vierte Buchstabe''' des Wortes und 7 die '''vierte Primzahl'''. Also wird das c mit <math>7^3=343</math> kodiert.
-* a ist der fünfte Buchstabe des Wortes und 11 die fünfte Primzahl. Also wird dieses a mit <math>11^1=11</math> kodiert.
+* a ist der '''fünfte Buchstabe''' des Wortes und 11 die '''fünfte Primzahl'''. Also wird dieses a mit <math>11^1=11</math> kodiert.
 Multipliziert man diese Zahlen miteinander, erhält man die Zahl <math>2\cdot 9\cdot 25\cdot 343\cdot 11=1697850</math>.
 Da die Primfaktorzerlegung eindeutig ist, wenn man die Primzahlpotenzen aufsteigend ordnet, kann man aus jeder Zahl das zugehörige Wort erzeugen.
-Welche Buchstabenfolge erhält man, wenn man die Zahl <math> 2^9\cdot 3^{14}\cdot 5^6\cdot 7^{15}\cdot 11^{18}\cdot 13^{13}\cdot 17^{1}\cdot 19^{20}\cdot 23^9\cdot 29^{11} </math>dekodiert?
-{{Lösung versteckt|
+'''Welche Buchstabenfolge erhält man, wenn man die Zahl
-Das dekodierte Wort lautet: INFORMATIK.
-Dies Art der Kodierung ist eher von theoretischer Bedeutung, weil man sehr schnell gigantisch große Zahlen erhält. Es ist auch ziemlich aufwändig diese Zahlen in Primfaktoren zu zerlegen. Aus diesem Grund sind große Primzahlen für die Verschlüsselungstechnik so wichtig.
+"<math> 2^9\cdot 3^{14}\cdot 5^6\cdot 7^{15}\cdot 11^{18}\cdot 13^{13}\cdot 17^{1}\cdot 19^{20}\cdot 23^9\cdot 29^{11}</math>"
-}}
-}}
+dekodiert?'''
-{{Aufgabe-Mathe|
+'''Übernehme das dekodierte Wort auf deinen Laufzettel. Falls du nicht auf die Lösung gekommen bist, notiere auf dem Laufzettel Wort "zu schwer" und lies dir die Lösung durch.'''
-Nun werden die 26 Buchstaben des Alphabets mit den Zahlen 01 bis 26 kodiert. Schreibt man die kodierten Buchstaben hintereinander, so erhält man eine Zahl. Dekodiere die Zahl 26230509060512121519.
 {{Lösung versteckt|
-Das dekodierte Wort lautet: ZWEIFELLOS
+Das dekodierte Wort lautet: INFORMATIK.
+* <math>2^9</math> entspricht I (1. Primzahl bedeutet 1. Buchstabe des Wortes und 9. Buchstabe des Alphabets)
+* <math>3^{14}</math> entspricht N (2. Primzahl bedeutet 2. Buchstabe des Wortes und 14. Buchstabe des Alphabets)
+* <math>5^6</math> entspricht F (3. Primzahl bedeutet 3. Buchstabe des Wortes und 6. Buchstabe des Alphabets)
+* usw.
+Diese Art der Kodierung ist eher von theoretischer Bedeutung, weil man sehr schnell extrem große Zahlen erhält. Das obige Beispiel ergäbe ausmultipliziert <math>4295755033035330312782822373101172263241726791467766561298496119787</math> <math> 168861226939162111091690789226678438109832000000</math> (eine 115-stellige Zahl). Es ist auch ziemlich aufwändig diese Zahlen in Primfaktoren zu zerlegen. Aus diesem Grund sind große Primzahlen für die Verschlüsselungstechnik so wichtig.
 }}
 }}
-Mit der Gödelisierung lassen sich beliebige Ein- und Ausgaben in natürliche Zahlen umwandeln und umgekehrt. Diese Vorgehensweise wird häufig in der theoretischen Informatik verwendet, da sich Algorithmen dadurch als Funktionen über den natürlichen Zahlen abbilden lassen. Zur Umwandlung gibt es verschiedenste Verfahren.
+Mit einer Gödelisierung lassen sich beliebige Ein- und Ausgaben in natürliche Zahlen umwandeln und umgekehrt. Dies kann mehr oder minder geschickt erfolgen. Man kann sich dazu die verschiedensten Verfahren überlegen. Kurt Gödel hat sich  mit solchen Fragestellungen beschäftigt, weshalb man entsprechende Verfahren nach ihm benannt hat.
+Diese Vorgehensweise wird häufig in der theoretischen Informatik verwendet, da sich Algorithmen dadurch als Funktionen über den natürlichen Zahlen abbilden lassen. Zur Umwandlung existieren verschiedenste Verfahren.
 {{Definition|
@@ Zeile 101: / Zeile 125: @@
 Die Abbildung muss dabei noch drei Bedingungen erfüllen:
-* <math>g</math> muss injektiv sein, d.h. jede natürliche Zahl darf höchstens das Bild von einem Programm sein; aber nicht jede natürliche Zahl muss auch ein Programm sein
+* <math>g</math> muss injektiv sein, d.h. jede natürliche Zahl darf höchstens das Bild von einem Programm sein; aber nicht jede natürliche Zahl muss auch ein Programm sein. [[Bild:HaeufgloecknerInjektiv.png|150px]]
-* Die Bildmenge muss entscheidbar sein, es muss also einen Algorithmus der Ja ausgibt, wenn die Zahl einem Programm entspricht und Nein, wenn es sich um kein Programm handelt.
+* Die Bildmenge muss entscheidbar sein, es muss also einen Algorithmus geben, der Ja ausgibt, wenn die Zahl einer gültigen Ein- oder Ausgabe entspricht und Nein, wenn es keine ist.
-* Die Umkehrfunktion <math>g^{-1}</math> muss berechenbar sein, d.h. man muss aus der natürlichen Zahl auch wieder das Programm bekommen können.
+* Die Umkehrfunktion <math>g^{-1}</math> muss berechenbar sein, d.h. man muss aus der natürlichen Zahl auch wieder die zugehörige Ein- oder Ausgabe bekommen können.
-<center>[[Bild:HaeufgloecknerGödelisierung.png|800px|Funktionsweise der Gödelisierung]]</center>
+<center>[[Bild:HaeufgloecknerGödelisierung.png|600px|Funktionsweise der Gödelisierung]]</center>
 }}
 <div class="multiplechoice-quiz">
-Welches der obigen Verfahren eignet sich für eine Gödelisierung? (!Kodierung mit Zahlen 1 bis 26) (Kodierung mit Zahlen 01 bis 26) (Kodierung mit Primzahlpotenzen)(!Keines der Verfahren)
+'''Welches der obigen Verfahren eignet sich für eine Gödelisierung?''' (!Kodierung mit Zahlen 1 bis 26) (Kodierung mit Zahlen 01 bis 26) (Kodierung mit Primzahlpotenzen)(!Keines der Verfahren)
+'''Übernehme deine Antworten auf den Laufzettel.'''
 </div>
-Durch die Hilfe der Gödelisierung kann man also jeden Algorithmus als eine Abbildung von einer natürlichen Zahl auf eine andere ansehen.
+'''Notiere diesen Merksatz auf deinem Laufzettel.'''
+{{Merke|
+Durch das Verfahren der Gödelisierung kann man jeden Algorithmus als eine Abbildung von einer natürlichen Zahl auf eine andere ansehen.
+}}
 == Wie viele Algorithmen gibt es? ==
-Wie bei der Definition des Begriffes Algorithmus bereits erwähnt wurde, ist der Begriff der Endlichkeit von großer Bedeutung. Da ein Algorithmus eine endliche Folge von Anweisungen ist, besteht ein Algorithmus auch aus endlich vielen Zeichen. Mit der oben beschriebenen Gödelisierung lässt sich jeder Algorithmus auch als eine natürliche Zahl auffassen. Weil dann die Menge aller Algorithmen eine Teilmenge der natürlichen Zahlen ist, sind die Algorithmen abzählbar.
+Wie bei der Definition des Begriffes Algorithmus bereits erwähnt wurde, ist der Begriff der Endlichkeit von großer Bedeutung. Da ein Algorithmus eine endliche Folge von Anweisungen ist, besteht ein Algorithmus auch nur aus endlich vielen Zeichen. Mit der oben beschriebenen Gödelisierung lässt sich also jeder Algorithmus auch als eine eindeutige natürliche Zahl auffassen. Weil dann die Menge aller Algorithmen eine Teilmenge der natürlichen Zahlen ist, sind die Algorithmen '''abzählbar''', man kann die Algorithmen also durchnummerieren.
+Durch die Gödelisierung kann man die Algorithmen als Funktionen natürlicher Zahlen ansehen. Wir schreiben die Algorithmen und die möglichen Eingaben als eine unendlich große zweidimensionale Tabelle auf. An der Seite werden die Algorithmen bzw. die Funktionen der Reihe nach angetragen und als Spaltenüberschriften werden die möglichen Eingaben als Gödelnummer angetragen:
+<center>
+{| {{Prettytable}}
+|- style="background-color:#8DB6CD"
+| style="background-color: #FFFFFF;"| || 1 || 2 || 3 || 4 || 5 || ...
+|-
+| style="background-color: #8DB6CD;"|<math>f_1</math> || <math>f_1(1)</math> || <math>f_1(2)</math> || <math>f_1(3)</math> || <math>f_1(4)</math> || <math>f_1(5)</math> || ...
+|-
+| style="background-color: #8DB6CD;"|<math>f_2</math> || <math>f_1(1)</math> || <math>f_1(2)</math> || <math>f_2(3)</math> || <math>f_2(4)</math> || <math>f_2(5)</math> || ...
+|-
+| style="background-color: #8DB6CD;"|<math>f_3</math> || <math>f_3(1)</math> || <math>f_3(2)</math> || <math>f_3(3)</math> || <math>f_3(4)</math> || <math>f_3(5)</math> || ...
+|-
+| style="background-color: #8DB6CD;"|<math>f_4</math> || <math>f_4(1)</math> || <math>f_4(2)</math> || <math>f_4(3)</math> || <math>f_4(4)</math> || <math>f_4(5)</math> || ...
+|-
+| style="background-color: #8DB6CD;"|<math>f_5</math> || <math>f_5(1)</math> || <math>f_5(2)</math> || <math>f_5(3)</math> || <math>f_5(4)</math> || <math>f_5(5)</math> || ...
+|-
+| style="background-color: #8DB6CD;"|... || ... || ... ||... || ... || ... || ...
+|}
+</center>
+Diese Tabelle enthält alle algorithmisierbaren Funktionen. In der ersten Zeile stehen alle Funktionswerte der Funktion <math>f_1</math>, in der zweiten Zeile stehen alle Funktionswerte der Funktion <math>f_2</math> usw.
-== Entscheidbarkeit ==
+Wir definieren uns nun eine Funktion <math>g</math> wie folgt:
-== Berechenbarkeit ==
+<center><math>g(n)=f_n(n)+1</math></center>
+Diese Funktion ist offensichtlich berechenbar, also müsste sie irgendwo in der Folge <math>f_1,f_2,f_3,...</math> vorkommen. Wir nehmen an, dass es die Funktion mit der Nummer <math>e</math> ist, also <math>g=f_e</math>. Wir erhalten aus der Definition von <math>g</math>, dass <math>g(e)=f_e(e)+1</math> ist, aber aus <math>g=f_e</math> folgt, dass <math>g(e)=f_e(e)</math> gilt. Es soll also <math>f_e(e)=f_e(e)+1</math> sein. Das kann aber nicht sein. Also haben wir einen Widerspruch gefunden und die Funktion <math>g</math> kann kein Algorithmus sein!
-== Fleißige Biber ==
+Damit haben wir eine Funktion gefunden, für die kein Algorithmus existieren kann!
-== Halte-Problem ==
+'''Notiere diesen Merksatz auf deinen Laufzettel.'''
+{{Merke|
+* Es gibt arithmetische Funktionen, die nicht berechenbar sind.
+* Es gibt überabzählbar viele arithmetische Funktionen, von denen aber nur abzählbar viele berechenbar sind.
+* Im Vergleich dazu, was ein Computer nicht kann, ist das, was er kann vernachlässigbar.
+}}
+Beispiele für Probleme, die nicht algorithmisch lösbar sind:
+* Fermatsche Vermutung: Es gibt keine natürlichen Zahlen <math>n\geq 3</math>, für die positive ganze Zahlen <math>x,y,z</math> existieren mit <math>x^n+y^n=z^n</math>. Erst 1994 konnte Andrew Wiles diese Vermutung mit einem 100seitigen Beweis bestätigen.
+* Goldbachsche Vermutung: Jede gerade Zahl <math>n\geq4</math> lässt sich als Summe von zwei Primzahlen darstellen. Diese Vermutung konnte bis heute weder bewiesen noch widerlegt werden.
+* Gibt es unendliche viele Primzahlzwilligen (zwei Primzahlen, die eine Differenz von 2 haben)? Diese Frage konnte bis heute nicht entschieden werden.
+== Turing-Maschine ==
+Bisher haben wir uns bei der Programmierung von Algorithmen immer auf eine Programmiersprache beschränkt (Java, C, C++, C#, VisualBasic, Pascal,...).
+Nun stellt sich die Frage, ob die eine Programmiersprache mehr kann als die andere.
+Der englische Mathematiker Alan Turing hat dazu mit seinem Modell der Turingmaschine einen entscheidenden Teil dazu beigetragen.
+Er entwickelte dazu ein mathematisches Modell, das das systematische Vorgehen des Menschen z.B. bei der Addition nachbildet.
+Man benötigt dazu einen Bleistift, ein Rechenblatt und einen Radiergummi. Auf dem Rechenblatt werden die Rechnungen sowie alle Rechenergebnisse aufgeschrieben. Mit dem Bleistift kann man einzelne Zeichen auf das Blatt schreiben und mit dem Radiergummi auch wieder löschen. Die Aktion, die man ausführt hängt nur von den endlich vielen Zeichen auf dem Rechenblatt ab. Die Berechnung selbst wird durch eine Berechnungsvorschrift gesteuert.
+Die Turingmaschine enthält deswegen folgenden Komponenten:
+* ein unendlich langes Speicherband mit unendlich vielen Feldern. In jedem dieser Felder ist genau ein Zeichen gespeichert. Dabei ist als Zeichen ein Blanksymbol (Leerzeichen) zugelassen, was so viel bedeutet wie „leeres Feld“. Das Blanksymbol gehört nicht zu der Menge der Eingabezeichen. Zur Vereinfachung der Vorstellung kann man sich auch ein endliches Band vorstellen. Dieses muss dann nur lang genug sein, damit die Berechnungen ausgeführt werden können.
+* ein Schreib-/Lesekopf, der ein Zeichen aus dem aktuellen Feld lesen und hineinschreiben kann, sowie seine Position ein Feld nach links oder rechts bewegen kann.
+* einen internen Zustand
+Je nach Zustand, in dem sich die Turing-Maschine befindet, kann sie ein Zeichen auf das Band schreiben, den Schreib-/Lesekopf um ein Feld nach links oder rechts bewegen und den internen Zustand ändern.
+'''Übertrage das Schaubild der Turingmaschine auf deinen Laufzettel.'''
+[[Bild:Haeufgloeckner_Turingmaschine.png|250px|Turingmaschine]]
+Eine mathematisch exakte Definition einer Turing-Maschine ist dann wie folgt:
+{{Definition|
+Eine Turingmaschine ist gegeben durch das 7-Tupel <math>(Z,\Sigma,\Gamma,z_0,\Box,Z_e,f)</math> mit
+* einer endliche Zustandsmenge <math>Z</math>
+* einer endliche Menge an Eingabezeichen <math>\Sigma</math>
+* einer Menge an zulässigen Bandzeichen <math>\Gamma\supseteq \Sigma</math> (die Menge der Eingabezeichen ist eine Teilmenge der zulässigen Bandzeichen)
+* einem Startzustand <math>z_0</math>
+* dem Blank-Symbol <math>\Box</math>
+* einer Menge an Endzuständen <math>Z_e\subset Z</math>
+* einer Überführungsfunktion <math>\delta:\ Z\backslash Z_e \times \Gamma \rightarrow Z \times \Gamma \times \{L,R,0\}</math> (L <math>=</math> Schreib-/Lesekopfbewegung nach links, R <math>=</math> Schreib-/Lesekopfbewegung nach rechts, 0 <math>=</math> keine Schreib-/Lesekopfbewegung)
+}}
+Hier findet ihr noch eine Turing-Maschinen-Simulator als Java-Anwendung (Java Runtime Environment 1.5 oder höher muss installiert sein):
+[http://wikis.zum.de/dmuw/images/3/3c/Turing-Simulator.zip Turingmaschinen-Simulator]
+(Quelle: [http://alan.sourceforge.net/]. Dort findet sich auch eine Dokumentation)
+Um den Simulator zu nutzen, musst du diesen herunterladen und auf deinem Rechner entpacken und anschließend die Datei alan-1.0.jar öffnen. Durch anklicken des Ordner-Symboles kann man vorgefertigte Turingprogramme laden und ausführen. Die Anfangskonfiguration kann man im Feld "Tape Start" angeben. Mit einem Klick auf das Play-Symbol startet die Maschine mit der Ausführung des Programms. Selbstverständlich kannst du auch eigene Programme erstellen und speichern und ausführen. Nähere Informationen findest du in der beigelegten PDF-Datei.
+In dieser Tabelle ist die Überführungsfunktion einer Turingmaschine zu finden, die zwei Binärzahlen addieren kann. Die Eingabe muss dann in der Form 110+111 auf dem Band stehen.
+<center>
+{| {{Prettytable}}
+|- style="background-color:#8DB6CD"
+!Zustand !! lesen !! schreiben !! Kopfbewegung !! neuer Zustand
+|-
+| 0 ||	0 ||	0 ||	r ||	1
+|-
+|0 ||	1 ||	1 ||	r ||	1
+|-
+| 1 ||	0 ||	0 ||	r ||	1
+|-
+| 1 ||	1 ||	1 ||	r ||	1
+|-
+| 1 ||	N ||	N ||	r ||	1
+|-
+| 1 ||	E ||	E ||	r ||	1
+|-
+| 1 ||	+ ||	+ ||	r ||	1
+|-
+| 1 ||	* ||	* ||	l ||	2
+|-
+|2 ||	0 ||	* ||	l ||	3
+|-
+|2 ||	1 ||	* ||	l ||	10
+|-
+| 2 ||	+ ||	* ||	l ||	20
+|-
+| 3 ||	0 ||	0 ||	l ||	3
+|-
+| 3 ||	1 ||	1 ||	l ||	3
+|-
+| 3 ||	+ ||	+ ||	l ||	4
+|-
+| 4 ||	N ||	N ||	l ||	4
+|-
+| 4 ||	E ||	E ||	l ||	4
+|-
+| 4 ||	0 ||	N ||	r ||	1
+|-
+| 4 ||	1 ||	E ||	r ||	1
+|-
+| 4 ||	* ||	N ||	r ||	1
+|-
+| 10 ||	0 ||	0 ||	l ||	10
+|-
+| 10 ||	1 ||	1 ||	l ||	10
+|-
+| 10 ||	+ ||	+ ||	l ||	11
+|-
+| 11 ||	N ||	N ||	l ||	11
+|-
+| 11 ||	E ||	E ||	l ||	11
+|-
+| 11 ||	0 ||	E ||	r ||	1
+|-
+| 11 ||	1 ||	N ||	l ||	12
+|-
+| 11 ||	* ||	E ||	r ||	1
+|-
+| 12 ||	0 ||	1 ||	r ||	1
+|-
+| 12 ||	1 ||	0 ||	l ||	12
+|-
+| 12 ||	* ||	1 ||	r ||	1
+|-
+| 20 ||	N ||	0 ||	l ||	20
+|-
+| 20 ||	E ||	1 ||	l ||	20
+|-
+| 20 ||	0 ||	0 ||	l ||	20
+|-
+| 20 ||	1 ||	1 ||	l ||	20
+|}
+</center>
 {{Aufgabe-Mathe|
-Die Schüler der Kollegstufe besuchen <math>n</math> verschiedene Kurse. Jeder Kurs findet einmal pro Woche statt. Belegt ein Schüler zwei Kurse, so dürfen diese nicht gleichzeitig stattfinden. Kann man mit <math>k</math> verschiedenen Terminen auskommen?
-Erstelle hierzu eine Graphen, wobei ein Knoten einem Kurs entspricht. Zwei Knoten werden genau dann miteinander verbunden, wenn ein Schüler die beiden entsprechenden Kurse besucht.
+Schreibe ein Programm für eine Turing-Maschine, das zwei durch ein <math>+</math> getrennte Zahlen in Unärdarstellung (die Zahl <math>n</math> wird durch <math>n</math> Einsen dargestellt, 5 entspricht 11111 und 3 entspricht 111) addiert und übertrage schreibe dieses auf deinen Laufzettel.
-Man kann die Aufgabe als sogenanntes [http://de.wikipedia.org/wiki/Färbung_(Graphentheorie) k-Farbproblem] auffassen.
+Zu Beginn steht der Kopf der Turingmaschine auf dem ersten Feld links von der ersten Zahl. Die Eingabe von 5+3 sieht dann folgendermaßen aus: 11111+111.
+Du kannst zum Probieren auch den oben vorgestellten Turing-Simulator benutzen.
+{{Lösung versteckt|
+Ein mögliches Programm könnte folgendermaßen aussehen:
+ # entspricht dem Leerzeichen
+ z0,# -> z1,#,R
+ z1,1 -> z2,#,R
+ z2,1 -> z2,1,R
+ z2,+ -> z2,1,R
+ z2,# -> z3,#,0
+ z3 ist der Endzustand
+Dieses Programm geht zuerst zu der ersten 1 nach rechts, ersetzt sie durch ein Leerzeichen, geht weiter nach rechts, bis es das + findet, ersetzt das + durch eine 1 und läuft weiter nach rechts bis es das nächste Leerzeichen findet und stoppt. Auf dem Band steht dann die Summe der beiden Unärzahlen.
 }}
+}}
+== Churchsche These ==
+Warum befassen wir uns mit Turing-Maschinen?
+Das Modell der Turing-Maschinen ist die erste exakte Präzisierungen des Begriffs "Algorithmus" gewesen, d.h.
+jede berechenbare Funktion kann durch eine Turing-Maschine realisiert werden. Umgekehrt
+repräsentiert jede Turing-Maschine eine berechenbare Funktion. Das ist der Grund, warum sich die
+theoretische Informatik mit Turing-Maschinen beschäftigt.
+'''Notiere die Churchsche These auf deinem Laufzettel.'''
+{{Merke|'''These von Church'''
+Jede im intuitiven Sinne berechenbare Funktion ist auch turing-berechenbar, d.h. man kann eine Turing-Maschine entwerfen, die diese Funktion berechnet.
+}}
+Diese These kann man natürlich nicht beweisen, da der Begriff "intuitiv berechenbar" nicht mathematisch präzisiert werden kann.
+An der Station über Turing-Maschinen hast du bereits eine in Java realisierte Turing-Maschine kennen gelernt. Die Programmiersprache Java kann also mindestens genauso viele Programme realisieren wie eine Turing-Maschine. Es lässt sich aber auch zeigen, dass die Turing-Maschine genauso viel berechnen können wie z.B. Java.
+== Nicht berechenbare Probleme ==
+=== Das Halteproblem ===
+Die folgende Situation hast du vielleicht auch schon erlebt:
+Du hast ein tolles Programm geschrieben und willst es einem Freund oder einer Freundin zeigen. Du startest das Programm mit einer zuvor nicht getesteten Eingabe. Ihr beide sitzt vor dem Bildschirm und der Rechner rechnet und rechnet.
+Jetzt stellt sich die Frage ob das Programm soviel Zeit benötigt, weil die Berechnung so komplex ist oder befindet sich das Programm in einer Endlosschleife?
+An dieser Stelle wünscht man sich ein Programm, dem man das eigene Programm übergibt und das dann ein "Ja" ausgibt, falls unser Programm für alle möglichen Eingaben anhält, oder "Nein", falls es eine Eingabe gibt, für die das Programm nicht anhält.
+Kann es ein solches Haltetest-Programm geben?
+Nehmen wir einmal an, es gibt ein solches Java-Programm. Der Quelltext sieht dann in etwa folgendermaßen aus:
+ class HalteTester{
+     static boolean esStoppt;
+     public static void main(String args []){
+         // hier wird das eingegebene Programm untersucht
+         // und je nach Ergebnis die Variable esStoppt gesetzt
+         if (esStoppt==true){
+             System.out.println("Das Programm ist selbststoppend.");
+             }
+         else System.out.println("Das Programm ist nicht selbststoppend.");
+     }
+ }
+Wenn ein solches Programm "HalteTester" existiert, dann kann man auch folgendes Programm schreiben:
+ class Wundersam{
+     static boolean esStoppt;
+     public static void main(String args  []){
+         // hier wird das eingegebene Programm untersucht
+         // und je nach Ergebnis die Variable esStoppt gesetzt,
+         // genau wie bei HalteTester.
+         if (esStoppt==true){
+             System.out.println("Das Programm ist selbststoppend.");
+             while(true) { /* Endlosschleife */ }
+         }
+         else System.out.println("Das Programm ist nicht selbststoppend.");
+     }
+ }
+Das Programm "Wundersam" unterscheidet sich vom Programm "HalteTester" nur durch die eingebaute Endlosschleife. Ist das Programm "Wundersam" nun selbststoppend?
+* Angenommen das Programm "Wundersam" ist selbststoppend. Dann wir zuerst der Testteil ausgeführt und die Variable "esStoppt" erhält den Wert "true", weil das Programm "Wundersam" nach Annahme selbststoppend ist. Anschließend wir der Text "Das Programm ist selbststoppend." ausgegeben und das Programm gerät in eine Endlosschleife. Das Programm wird also nicht stoppen. Dies ist ein Widerspruch dazu, dass das Programm selbststoppend ist.
+* Nehmen wir jetzt an, dass das Programm "Wundersam" nicht selbststoppend ist. Dann wird wieder der Testteil ausgeführt und die Variable "esStoppt" erhält den Wert "false", weil das Programm nach Annahme nicht selbststoppend ist. Anschließend wird dann der Text "Das Programm ist nicht selbststoppend." ausgegeben und das Programm "Wundersam" stoppt. Dies ist ein Widerspruch dazu, dass das Programm nicht selbststoppend ist.
+Wir haben jetzt die beiden Fälle untersucht, ob das Programm "Wundersam" stoppt oder nicht und sind zu keinem Ergebnis gekommen. Das Programm ist also gleichzeitig selbststoppend und nicht selbststoppend. Nach den Gesetzen der Logik kann es ein solches Programm "Wundersam" nicht geben. Dies hat zur Folge, dass es auch das Programm "HalteTester" nicht geben kann, da das Programm "Wundersam" aus dem Programm "HalteTester" konstruiert worden ist.
+{{Merke|
+Damit ist bewiesen, dass es kein Java-Programm (und damit auch kein Programm in einer anderen Programmiersprache) gibt, mit dem man für jedes andere Java-Programm entscheiden kann, ob es bei beliebiger Eingabe anhält oder nicht.
+}}
+{{Aufgabe-Mathe|
+Kann es außer Endlosschleifen auch andere Gründe dafür geben, dass ein Programm nicht anhält?
+{{Lösung versteckt|
+Nein, es kann keinen anderen Grund dafür geben, denn ein Programm ist eine endliche Folge von Anweisungsblöcken, die in endlicher Zeit abgearbeitet sein muss, falls nicht mindestens einer der Anweisungsblöcke eine unendliche Folge von Einzelanweisungen ist.
+}}
+}}
+=== Fleißige Biber ===
+Als Abschluss wollen wir noch eine klar zu beschreibende und dennoch nicht berechenbare Aufgabe betrachten: Die Fleißigen Biber (engl. busy beaver).
+Bei den Fleißigen Bibern geht es darum, eine Turing-Maschine mit <math>n</math> Zuständen (plus einem Endzustand) zu finden, die eine maximale Anzahl an Einsen auf das Band schreibt und dann stoppt.
+Nun ist die Frage, wie viele Einsen das sind. Man bezeichnet diese Funktion auch als '''Radó-Funktion'''.
+Überlegen wir uns einmal, wie viele verschiedene Turingmaschinen man mit <math>n</math> Zuständen "bauen" kann.
+Die Überführungsfunktion einer solchen  Turingmaschine ist dann wie folgt definiert:
+<center>
+<math>\delta: (Z\backslash Z_e,\Gamma)\rightarrow (Z,\Gamma,\{L,R,0\})</math>
+</center>
+Dabei ist
+* <math>|Z\backslash Z_e|=n</math> (Anzahl der Nicht-Endzustände)
+* <math>|\Gamma|=|\{\Box,1\}|=2</math> (Anzahl der Buchstaben des Bandalphabets)
+* <math>|Z|=n+1</math> (Anzahl aller Zustände incl. Endzustand)
+* <math>|\{L,R,0\}|=3</math> (Anzahl der möglichen Bandbewegungen).
+Die Definitionsmenge der Überführungsfunktion hat dann also
+<math>|(Z\backslash Z_e, \Gamma)| = |Z\backslash Z_e|\cdot |\Gamma| = n \cdot 2</math> Elemente und die Zielmenge
+<math>|(Z,\Gamma,\{L,R,0\})| = |Z| \cdot |\Gamma| \cdot |\{L,R,0\}| = (n+1)\cdot 2 \cdot 3 = 6\cdot (n+1)</math> Elemente.
+Man weiß, dass die Anzahl der Abbildungen zwischen zwei Mengen <math>M</math> mit <math>m</math> Elementen und <math>N</math> mit <math>n</math> Elementen gleich <math>n^m</math> ist.
+Die Anzahl der möglichen Turing-Maschinen ist dann die Anzahl der Abbildungen zwischen <math>(Z\backslash Z_e, \Gamma)</math> und <math>(Z,\Gamma,\{L,R,0\})</math>. Dies sind gerade <math>(6\cdot (n+1))^{2n}</math>
+Damit erhält man in Abhängigkeit von <math>n</math> folgende Anzahl an Turingmaschinen:
+<center>
+{| {{Prettytable}}
+|- style="background-color:#8DB6CD"
+! n<br>(Anzahl der Zustände) !! N<br>(Anzahl der Turingmaschinen)
+|-
+| <math>1</math> || <math>144</math>
+|-
+| <math>2</math> || <math>104976</math>
+|-
+| <math>3</math> || <math>191102976</math>
+|-
+| <math>4</math> || <math>656100000000</math>
+|-
+| <math>5</math> || <math>3,65615844 \cdot 10^{15}</math>
+|-
+| <math>6</math> || <math>3,01294695 \cdot 10^{19}</math>
+|-
+| <math>7</math> || <math>3,44649238 \cdot 10^{23}</math>
+|-
+| <math>8</math> || <math>5,22757361 \cdot 10^{27}</math>
+|-
+| <math>9</math> || <math>1,01559957 \cdot 10^{32}</math>
+|-
+| ... || ...
+|}
+</center>
+Man kann also erkennen, dass die Anzahl der Turing-Maschinen, die man untersuchen muss extrem schnell ansteigt. Aus diesem Grund kennt man auch erst die ersten 4 Werte der Radó-Funktion <math>\Sigma(n)</math>. Diese sind:
+* <math>\Sigma(1)=1</math>
+* <math>\Sigma(2)=4</math>
+* <math>\Sigma(3)=6</math>
+* <math>\Sigma(4)=13</math>
+Für alle größeren <math>n</math> gibt es nur Schätzungen. Von <math>\Sigma(5)</math> weiß man nur, dass der Wert mindestens 4096 ist, d.h. eine Turingmaschine mit 5 Zuständen kann mindestens 4096 Einsen auf ein leeres Band schreiben, eine Turing-Maschine mit 6 Zuständen sogar mindestens 95524079 Einsen. Der Grund dafür, dass man keine genaue Zahl angeben kann, ist, dass man alle möglichen Turing-Maschinen testen muss, ob sie anhalten oder nicht. Wenn eine Turing-Maschine anhält, weiß man, wie viele Einsen sie auf das Band geschrieben hat. Hält eine Turing-Maschine allerdings nicht an, muss man noch beweisen, dass sie nicht anhält.
+Selbst für kleinere Zustandszahlen wie 5 oder 6 ist es nicht mehr möglich alle möglichen Turingmaschinen zu überprüfen. Angenommen wir hätten einen Computer, der in einer Sekunde für 1 Million Turing-Maschinen überprüfen kann, ob sie halten (es müsste einen Computer geben, der das Halteproblem lösen kann) und wenn ja, wie viele Einsen sie auf das leere Band schreiben kann, würde dies für <math>n=5</math> bereits über 115 Jahre dauern.
+{{Aufgabe-Mathe|
+Schreibe einen fleißigen Biber mit einem Zustand plus Endzustand der genau eine 1 auf das leere Band schreibt und dann stoppt.
+{{Lösung versteckt|
+Ein Turing-Programm mit einem Zustand plus Endzustand, das eine 1 auf das Band schreibt, sieht folgendermaßen aus:
+ # entspricht dem Leerzeichen, z1 ist der Endzustand
+ z0,# -> z1, 1, R
+}}
+}}
+{{Aufgabe-Mathe|
+Schreibe einen fleißigen Biber mit zwei Zuständen plus Endzustand der genau vier 1en auf das leere Band schreibt und dann stoppt.
+{{Lösung versteckt|
+Ein Turing-Programm mit zwei Zuständen plus Endzustand, das eine 1111 auf das Band schreibt, sieht folgendermaßen aus:
+ # entspricht dem Leerzeichen, z3 ist der Endzustand
+ z0,# -> z1, 1, L
+ z0,1 -> z1, 1, R
+ z1,# -> z0, 1, R
+ z1,1 -> z2, 1, R
+}}
+}}
+[[Kategorie:Lernpfad Berechenbarkeit]]

Zustand	lesen	schreiben	Kopfbewegung	neuer Zustand
0	0	0	r	1
0	1	1	r	1
1	0	0	r	1
1	1	1	r	1
1	N	N	r	1
1	E	E	r	1
1	+	+	r	1
1	*	*	l	2
2	0	*	l	3
2	1	*	l	10
2	+	*	l	20
3	0	0	l	3
3	1	1	l	3
3	+	+	l	4
4	N	N	l	4
4	E	E	l	4
4	0	N	r	1
4	1	E	r	1
4	*	N	r	1
10	0	0	l	10
10	1	1	l	10
10	+	+	l	11
11	N	N	l	11
11	E	E	l	11
11	0	E	r	1
11	1	N	l	12
11	*	E	r	1
12	0	1	r	1
12	1	0	l	12
12	*	1	r	1
20	N	0	l	20
20	E	1	l	20
20	0	0	l	20
20	1	1	l	20

Zustand	lesen	schreiben	Kopfbewegung	neuer Zustand
0	0	0	r	1
0	1	1	r	1
1	0	0	r	1
1	1	1	r	1
1	N	N	r	1
1	E	E	r	1
1	+	+	r	1
1	*	*	l	2
2	0	*	l	3
2	1	*	l	10
2	+	*	l	20
3	0	0	l	3
3	1	1	l	3
3	+	+	l	4
4	N	N	l	4
4	E	E	l	4
4	0	N	r	1
4	1	E	r	1
4	*	N	r	1
10	0	0	l	10
10	1	1	l	10
10	+	+	l	11
11	N	N	l	11
11	E	E	l	11
11	0	E	r	1
11	1	N	l	12
11	*	E	r	1
12	0	1	r	1
12	1	0	l	12
12	*	1	r	1
20	N	0	l	20
20	E	1	l	20
20	0	0	l	20
20	1	1	l	20

Zustand	lesen	schreiben	Kopfbewegung	neuer Zustand
0	0	0	r	1
0	1	1	r	1
1	0	0	r	1
1	1	1	r	1
1	N	N	r	1
1	E	E	r	1
1	+	+	r	1
1	*	*	l	2
2	0	*	l	3
2	1	*	l	10
2	+	*	l	20
3	0	0	l	3
3	1	1	l	3
3	+	+	l	4
4	N	N	l	4
4	E	E	l	4
4	0	N	r	1
4	1	E	r	1
4	*	N	r	1
10	0	0	l	10
10	1	1	l	10
10	+	+	l	11
11	N	N	l	11
11	E	E	l	11
11	0	E	r	1
11	1	N	l	12
11	*	E	r	1
12	0	1	r	1
12	1	0	l	12
12	*	1	r	1
20	N	0	l	20
20	E	1	l	20
20	0	0	l	20
20	1	1	l	20