Programmiertechniken: Zustand fungiert als „endlicher Speicher“

Präsentation zum Thema: "Programmiertechniken: Zustand fungiert als „endlicher Speicher“"—  Präsentation transkript:

1

2 Programmiertechniken: Zustand fungiert als „endlicher Speicher“

3 Programmiertechniken
„Zeichen markieren“ Um zu „markieren“, füge neuen Buchstaben hinzu steht für die markierte Version von . Beispiel: Animation aus info3-animationen/Animationen

4 Mehrband-Turingmaschinen

5 1-Band-versus k-Band Turingmaschinen
Wird die Sprache Lµ * von einer k-Band Turingmaschine M entschieden (akzeptiert), so gibt es auch eine 1-Band Turingmaschine, die L entscheidet (akzeptiert).

6 k-Band DTMs berechnen Funktionen

7 k-Band DTMs berechnen Funktionen
Der Beweis von Satz liefert nun auch, dass es für jede Funktion f, die durch eine k-Band DTM Berechnet wird, auch eine 1-Band DTM gibt, die f berechnet.

8 Schematische Darstellung einer RAM
Registermaschinen Schematische Darstellung einer RAM

9 Registermaschinen

10 Registermaschinen

11 Turingmaschinen/Registermaschinen/Church‘sche These
Satz 2.3.1: Jede RAM kann durch DTM simuliert werden Satz 2.3.2: Jede DTM kann durch RAM simuliert werden Intuitiv: RAM-“Programmiersprache“ ist einfache, aber „vollständige“ Assembler-Sprache, also: Church‘sche These (1936). Die im intuitiven Sinne berechenbaren Funktionen sind genau die, die durch Turingmaschinen berechenbar sind.