Protokoll in Informatik 25

Werbung
Protokoll in Informatik 25.11.2010
Thema: Theorie der Turing-Maschine
Protokollantin: Tina Urbanek
MSS 13
*Akzeptor: einfachstes Mittel um Kellerautomat zu simulieren*
*These: Eine Turing-Maschine kann alles!*
Theorie der Turing-Maschine
a) Die Turing-These
1. Die Turing-Maschine ist ein Computer
{Turing-Maschine}≤{Computer}
Jede Turing-Maschine lässt sich am PC simulieren
*Ein Computer ist also mindestens so leistungsfähig wie eine Turing-Maschine*
2. Jeder Computer lässt sich auf eine Turing-Maschine reduzieren
{Computer}≤{Turing-Maschine}
 Endliches Alphabet
Der PC erkennt nur endlich viele Zeichen (ASCII)
 Beliebig großes (endliches) Speicherband
Das Turingband enthält beliebig viel Speicherplatz
 Optionen *Einträge am Pfeil*
–schreiben
Kommunikation
–lesen
–nach rechts
Befehle
–nach links
 Endliche Zustandsmenge
Endlich viele Programmschritte (Befehlszyklus, Prozessschritte)
 Eindeutige Überführungs-, Übergangsfunktion δ: z x X  Z
Eindeutige Festlegung des Folgezustands
3. Jeder (!) Algorithmus kann (im Prinzip) von einer Turing-Maschine
abgearbeitet werden.
4. Ergebnis: (Turing-These)
{Computer}={Turing-Maschine}
*Die Klasse der Turing-berechenbaren Funktionen ist genau die Klasse der
intuitiv berechenbaren Funktionen*
mehr dazu: hier
 Jeder Algorithmus lässt sich mit einer Turing-Maschine darstellen
 Jede intuitiv berechenbare Funktion ist eine Turing-berechenbare Funktion

Jeder Algorithmus ist eine Turing-Maschine
5. Umkehrschluss
Beweise für die Ausführbarkeit von Algorithmen:
ausführbar Turingmaschine existiert dazu
nicht ausführbar  es gibt keine Turingmaschine dazu
b) Abzählbarkeit
1. Definition
Eine unendliche Menge heißt abzählbar, wenn deren Elemente sich umkehrbar
eindeutig der Menge der natürlichen Zahlen zuordnen lassen, sonst heißt die
Menge überabzählbar
*****
12345
2. Beispiel:
*
ist abzählbar x = p/q; p,q 
Nenner (
1/1
1/2
1/3
1/4 . . . .
2/1
2/2
3/1
3/2
2/3
3/3
2/4.
. . .
3/4 .
. . .
)
Zähler ( )
. .
.
.
.
.
.
.
.
.
.
.
.
.
3. Satz: Die Menge der Turing-Maschine ist abzählbar
4. Beweis:
Die Turing-Maschine ist durch eine endliche Zeichenkette darstellbar:
Turing-Simulator 01:1R 0,...
 Die Menge aller Wörter über einem endlichen Alphabet ist abzählbar.
1 Buchstabe a....z
1....26
2 Buchstaben aa,ab......zz
1, 2........26²
.
.
.
n Buchstaben a...a,.......,z....z
1..................26n
Summe
1...26,27....27+26²....+r+1....r+26n +…
Ordnet jedem Wort endlicher Länge eine Nummer zu
Ergebnis:
- Die Menge der Turing-Maschinen entspricht der Menge endlicher
Wörter aus Befehls-Fünf-Tupeln
=> diese Menge ist abzählbar
*Beweisführung abgeschlossen*
HA: Recherche über Turing-These und Abzählbarkeit.
Herunterladen