Turing-Maschine als Akzeptor.

Präsentation zum Thema: "Turing-Maschine als Akzeptor."—  Präsentation transkript:

1 Turing-Maschine als Akzeptor

2 Gliederung 1. Alan Turing 2. Nachteil Keller-Automat
3. Turing Maschine 4. Aufbau Turing-Maschine 5. Arbeitsweise Turing-Maschine 6. Wann akzeptiert Turing-Maschine Eingaben? 7. Definition 8. Beispiel 9. Aufgaben 10. Vergleich zu anderen Automaten 11. Quellen

3 Alan Turing * 23. Juni 1912 in London
† 7. Juni 1954 in Wilmslow, Cheshire britischer Logiker, Mathematiker, Kryptoanalytiker und Informatiker einer der einflussreichsten Theoretiker der frühen Computerentwicklung und Informatik erfand die Turing-Maschine -> Nachweis der künstliches Intelligenz

4 Nachteil Kellerautomat
Kellerautomat entscheidenden Nachteil -> erkennt nicht Sprache L = {anbncn | n > 0} nach Auskellern -> keine Information über Anzahl der Zeichen

5 Turing-Maschine Alan Turing (1912–1954) -> entwickelte abstrakte Maschine nicht Nachteil Kellerautomaten kann sich beliebige Eingaben merken

6 Aufbau Turing-Maschine
ein unendlich langes Eingabeband mit Zellen für jedes Zeichen, eine endliche Menge von Zuständen Lese-Schreib-Kopf auf dem Band

7 Arbeitsweise Turing-Maschine
Lesen des Eingabezeichens Schreiboperation auf das Band -> Bewegung Lese-Schreibkopfes (links/rechts/keine) -> Zustandsübergang in Abhängigkeit vom aktuellen Zustand und dem Eingabezeichen ggf. Wiederholung der Schritte 1 und 2 Turing-Maschine können sowohl deterministisch wie auch nichtdeterministisch arbeiten

8 Wann akzeptiert Turing-Maschine Eingabe?
Turing-Maschine akzeptiert Eingabe, wenn sie im Endzustand stoppt. Aber auch möglich, dass die Maschine nicht stoppt. -> in diesem Fall kann nicht gesagt werden, ob das Wort zur Sprache gehört oder nicht. 1. Leistungsgrenze von Computern

9 Definition Eine TM w = (X, Z, Γ, δ, z0, $, E) wird durch folgende Angaben definiert: X – Eingabealphabet Z – endliche Zustandsmenge Γ – Bandalphabet δ – partielle Überführungsfunktion z0 – Anfangszustand $ – Bandvorbelegungszeichen ZE – Menge der Endzustände

10 Bsp.: Wortüberprüfer Implementieren sie eine TM in AutoEdit, welche überprüft, ob das Eingabewort mit 1 beginnt oder nicht! Es sollen nach Möglichkeit maximal 2 Zustände hierfür notwendig sein! X = {0,1,$}

11 Lösung Wortüberprüfer
M = (X, Z, Γ, δ, q0, $, ZE) mit X = Γ = {0, 1, $} Z = {q0, q1} ZE = {q1} δ:

12 Aufgaben

13 Überprüfungsautomat Implementieren sie einen Automaten in AutoEdit, welcher überprüft, ob das Eingabewort mit 2 beginnt und ob dann sich 2 und 3 abwechseln! Es sollen nach Möglichkeit maximal 3 Zustände dafür verwendet werden! X = {2,3,$}

14 Lösung Überprüfungsautomat
M = (X, Z, Γ, δ, q0, $, ZE) mit X = Γ = {2,3, $} Z = {q0, q1,q2} ZE = {q2} δ:

15 Überprüfungsautomat Implementieren sie einen Automaten in AutoEdit, welcher überprüft, ob das Eingabewort mindestens einmal a und einmal b enthält! Es sollen nach Möglichkeit maximal 5 Zustände dafür verwendet werden! X = {a,b,$} Beispielwort: abaaa, baab, ab,…..

16 Lösung Überprüfungsautomat
M = (X, Z, Γ, δ, q0, $, ZE) mit X = Γ = {2,3, $} Z = {q0, q1,q2,q3,q4} ZE = {q4} δ:

17 Überprüfungsautomat Implementieren sie einen Automaten in AutoEdit, welcher überprüft, ob in dem Eingabewort der Anfangsbuchstabe mindestens 2 mal vor kommt! Es sollen nach Möglichkeit maximal 6 Zustände dafür verwendet werden! X = {a,b,c,$} Beispielwort: abbbccbaabb, abca, baab, cc,…

18 Lösung Überprüfungsautomat
M = (X, Z, Γ, δ, q0, $, ZE) mit X = Γ = {2,3, $} Z = {q0, q1,q2,q3,q4,q5} ZE = {q5} δ:

19 Überprüfungsautomat Implementieren sie einen Automaten in AutoEdit, welcher überprüft, ob das Eingabewort mit ba beginnt! Es sollen nach Möglichkeit maximal 3 Zustände dafür verwendet werden! X = {a,b,$}

20 Lösung Überprüfungsautomat
M = (X, Z, Γ, δ, q0, $, ZE) mit X = Γ = {a,b, $} Z = {q0, q1,q2,q3} ZE = {q3} δ:

21 anbn Turing-Maschine Implementieren sie einen Automaten in AutoEdit, welcher überprüft, ob das Eingabewort dem folgenden Schema entspricht: anbn Es sollen nach Möglichkeit maximal 6 Zustände dafür verwendet werden! X = {a,b,$}

22 Lösung Turing-Maschine anbn
M = (X, Z, Γ, δ, q0, $, ZE) mit X = Γ = {a,b, $} Z = {q0, q1,q2,q3,q4,q5} ZE = {q5} δ:

23 anbncn Turing-Maschine
Implementieren sie einen Automaten in AutoEdit, welcher überprüft, ob das Eingabewort dem folgenden Schema entspricht: anbncn Es sollen nach Möglichkeit maximal 8 Zustände dafür verwendet werden! X = {a,b,%,$}

24 Lösung Turing-Maschine anbncn
M = (X, Z, Γ, δ, q0, $, ZE) mit X = Γ = {a,b,c,%,$} Z = {q0, q1,q2,q3,q4,q5,q6,q7} ZE = {q7} δ:

25 Palindrome Implementieren sie einen Automaten in AutoEdit, welcher überprüft, ob das Eingabewort ein Palindrome ist oder nicht! Es sollen nach Möglichkeit maximal 9 Zustände dafür verwendet werden! X = {a,b,$}

26 Lösung Palindrome M = (X, Z, Γ, δ, q0, $, ZE) mit X = Γ = {a,b,$}
Z = {q0, q1,q2,q3,q4,q5,q6,q7,q8} ZE = {q4,q8}

27 Vergleich der Automaten
Mealy Akzeptor Kellerautomat TM Unendliches Eingabeband Ja Verarbeitungseinheit Unendliches Ausgabeband Nein Ist auch Eingabeband Zustände Eingabealphabet Ausgabealphabet Anfangszusta-nd/ Endzustand Ja/Nein Ja/Ja

28 Vergleich Akzeptor kann sich nichts merken, außer Zustand
Kellerautomat hat Kellerspeicher -> Fortschritt -> aber mangelbehaftet -> löscht beim lesen Kellerautomat beherrscht anbn Turing-Maschine ist in der Lage alle diese Mängel zu beseitigen -> ist in der Lage auf dem Eingabeband Veränderungen vor zunehmen -> bei Lesevorgängen wird der Gelesenes nicht gelöscht

29 Vergleich Akzeptor: - akzeptieren, ob eine Bedingung erfüllt worden ist Kellerautomat: - kann auch anbn - aber nicht anbncn - Kellerautomat ist durch Kellerspeicher begrenzt Turing-Maschine: - ist in der Lage dies zu erfüllen - könnte auch Berechnungen durchführen Alle akzeptieren Wörter über das Eingabealphabet X

30 Quellen Lehrbuch Technische und theoretische Informatik Bayrischer Schulbuch-Verlag München