---

Geschrieben von theoinfo am 20.10.2016 um 03:15:

  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.

---

Geschrieben von eulerscheZahl am 20.10.2016 um 06:13:

 

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.

---

Geschrieben von theoinfo am 20.10.2016 um 22:36:

 

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?

---

Geschrieben von eulerscheZahl am 21.10.2016 um 06:13:

 

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

---

Geschrieben von theoinfo am 21.10.2016 um 21:35:

 

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?

---

Geschrieben von eulerscheZahl am 22.10.2016 um 07:15:

 

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.

---

Geschrieben von theoinfo am 23.10.2016 um 01:47:

 

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.