Die letzten 7 Beiträge |
theoinfo |
Ok, jetzt hab ich es verstanden. Mit a,b sind die Belegungen (0,0),(0,1),(1,0) und (1,1) möglich.
@eulerscheZahl vielen Dank für deine Hilfe.
|
eulerscheZahl |
Wenn du a,a nimmst, heißt das 0,0 oder 1,1.
Mit a,b hast du zusätzlich die Belegungen 0,1 und 1,0. |
theoinfo |
Das heißt a und b können beide gleichzeitig 0 oder 1 sein?
Warum verwendet man nicht einfach den Buchstaben a und definiert a so, dass es 0 oder 1 sein kann? |
eulerscheZahl |
a und b können unabhängig voneinander mit 0 oder 1 besetzt werden.
Aus der einen Regel werden also 4, wenn du die Variablen entfernst:
code: |
1:
2:
3:
4:
|
z2,0,0 -- z2,0,0,N,R
z2,0,1 -- z2,0,1,N,R
z2,1,0 -- z2,1,0,N,R
z2,1,1 -- z2,1,1,N,R |
|
|
theoinfo |
Zitat: |
Original von eulerscheZahl
3. a ist das Zeichen auf Band 1, b das auf Band 2. Du willst nicht den Zähler überschreiben, nur weil auf beiden Bändern andere Zeichen stehen. |
Jetzt bin ich etwas verwirrt. Ist der Wert von a=0 und der Wert von b =1 ? Oder steht a für die Werte 0 und 1?
Es könnte auf beiden Bändern, das gleiche stehen, also wäre doch (z2,a,b,N,R) falsch?
Weil theoretisch ist auch (z2,a,a,N,R) oder (z2,b,b,N,R) möglich? |
eulerscheZahl |
1. geht doch. Simulation (auf "Compile" klicken, Eingabe vorgeben und starten).
2. weil der untere Zeiger ganz an Anfang oder Ende der Binärzahl geht. Der obere Zeiger wartet so lange.
3. a ist das Zeichen auf Band 1, b das auf Band 2. Du willst nicht den Zähler überschreiben, nur weil auf beiden Bändern andere Zeichen stehen. |
theoinfo |
Turingmaschine - Verständnsfragen
Hallo,
ich habe folgende Aufgabe:
Es soll eine TM konstruiert werden, die die Anzahl der Einsen und Nullen zählt und im zweiten Band ausgibt.
Im Anhang ist die Musterlösung, allerdings habe ich ein paar Fragen.
1. Die TM funktioniert mit der Folge 1011 nicht. Ist diese Lösung also falsch?
2. Warum bewegt man den oberen Zeiger nicht nach R sondern bleibt bei N (grün markiert)
3. Wozu ist die Unterscheidung a,b (rot markiert) da?
Über Hilfe. wäre ich sehr dankbar.
theoinfo hat dieses Bild (verkleinerte Version) angehängt:
|
|
|