2-Band Turingmaschine < Formale Sprachen < Theoretische Inform. < Hochschule < Informatik < Vorhilfe
|
Ich hab hier mal eine allgemeine Frage an euch. Wenn ich eine 2-Band DTM machen soll, dann würde ich das gerne genauso in einer Übergangstabelle lösen wollen, wie ich es bei einer 1-Band DTM gemacht habe. Bei einer 1-Band DTM war es ja so:
[mm] $(q_0, [/mm] a) [mm] \rightarrow (q_1, [/mm] a, R)$
Da es nur ein Band gab, musste ich in keinem der beiden Tupel auswählen, welchen Schreib/Lesekopf ich nun benutzen will! Wie kodiere ich das nun in einer 2-Band DTM?
Muss ich da folgendes schreiben: $(Band1, [mm] q_0, [/mm] a) [mm] \rightarrow [/mm] (Band2, [mm] q_1, [/mm] a, R)$. Textuell beschrieben: Der Lesekopf des 1. Bandes der 2-Band DTM befindet sich in q0 und liest eine a. Jetzt wird Band 2 aktiv und Zustand q1. Nun schreibt Schreib/Lesekopf auf Band 2 ein a und geht einen Schritt nach Rechts.
Kann das so stimmen?
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 14:20 Di 04.06.2013 | | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
|
