Berechenbarkeit und Komplexität - Institut für Theoretische Physik ...
Berechenbarkeit und Komplexität - Institut für Theoretische Physik ...
Berechenbarkeit und Komplexität - Institut für Theoretische Physik ...
Erfolgreiche ePaper selbst erstellen
Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.
1.2 Mehrband-Turingmaschinen <strong>Berechenbarkeit</strong> <strong>und</strong> <strong>Komplexität</strong> - Christian Slupina<br />
Beispiel einer Einband-Turingmaschine:<br />
sind zwei benachbarte Worte gleich?<br />
Vereinfachend: drei Schritte notwendig:<br />
● TM überprüft, ob eine Eingabe der Form x#y vorliegt,<br />
Abbruch wenn mehrere/keine # gelesen werden<br />
● Nach dem Einlesen werden beide Köpfe zurückgesetzt,<br />
im Anschluss startet der Kopiervorgang<br />
● Vergleich der Sequenzen<br />
TM akzeptiert die Eingabe<br />
wenn alle Symbole gleich sind<br />
8