Registrierung Kalender Mitgliederliste Teammitglieder Suche Häufig gestellte Fragen Zur Startseite

Informatiker Board » Themengebiete » Theoretische Informatik » Automatentheorie » Turingmaschine - Verständnsfragen » Hallo Gast [Anmelden|Registrieren]
Letzter Beitrag | Erster ungelesener Beitrag Druckvorschau | An Freund senden | Thema zu Favoriten hinzufügen
Neues Thema erstellen Antwort erstellen
Zum Ende der Seite springen Turingmaschine - Verständnsfragen
Autor
Beitrag « Vorheriges Thema | Nächstes Thema »
theoinfo
Grünschnabel


Dabei seit: 20.10.2016
Beiträge: 4

Turingmaschine - Verständnsfragen Auf diesen Beitrag antworten Zitatantwort auf diesen Beitrag erstellen Diesen Beitrag editieren/löschen Diesen Beitrag einem Moderator melden       Zum Anfang der Seite springen

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:
TM.jpg

20.10.2016 03:15 theoinfo ist offline Beiträge von theoinfo suchen Nehmen Sie theoinfo in Ihre Freundesliste auf
eulerscheZahl eulerscheZahl ist männlich
Foren Gott


Dabei seit: 04.01.2013
Beiträge: 2.859

Auf diesen Beitrag antworten Zitatantwort auf diesen Beitrag erstellen Diesen Beitrag editieren/löschen Diesen Beitrag einem Moderator melden       Zum Anfang der Seite springen

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.

__________________
Syntax Highlighting fürs Board (Link)

Dieser Beitrag wurde 1 mal editiert, zum letzten Mal von eulerscheZahl: 20.10.2016 06:14.

20.10.2016 06:13 eulerscheZahl ist offline Beiträge von eulerscheZahl suchen Nehmen Sie eulerscheZahl in Ihre Freundesliste auf
theoinfo
Grünschnabel


Dabei seit: 20.10.2016
Beiträge: 4

Auf diesen Beitrag antworten Zitatantwort auf diesen Beitrag erstellen Diesen Beitrag editieren/löschen Diesen Beitrag einem Moderator melden       Zum Anfang der Seite springen

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?
20.10.2016 22:36 theoinfo ist offline Beiträge von theoinfo suchen Nehmen Sie theoinfo in Ihre Freundesliste auf
eulerscheZahl eulerscheZahl ist männlich
Foren Gott


Dabei seit: 04.01.2013
Beiträge: 2.859

Auf diesen Beitrag antworten Zitatantwort auf diesen Beitrag erstellen Diesen Beitrag editieren/löschen Diesen Beitrag einem Moderator melden       Zum Anfang der Seite springen

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


__________________
Syntax Highlighting fürs Board (Link)
21.10.2016 06:13 eulerscheZahl ist offline Beiträge von eulerscheZahl suchen Nehmen Sie eulerscheZahl in Ihre Freundesliste auf
theoinfo
Grünschnabel


Dabei seit: 20.10.2016
Beiträge: 4

Auf diesen Beitrag antworten Zitatantwort auf diesen Beitrag erstellen Diesen Beitrag editieren/löschen Diesen Beitrag einem Moderator melden       Zum Anfang der Seite springen

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?
21.10.2016 21:35 theoinfo ist offline Beiträge von theoinfo suchen Nehmen Sie theoinfo in Ihre Freundesliste auf
eulerscheZahl eulerscheZahl ist männlich
Foren Gott


Dabei seit: 04.01.2013
Beiträge: 2.859

Auf diesen Beitrag antworten Zitatantwort auf diesen Beitrag erstellen Diesen Beitrag editieren/löschen Diesen Beitrag einem Moderator melden       Zum Anfang der Seite springen

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.

__________________
Syntax Highlighting fürs Board (Link)
22.10.2016 07:15 eulerscheZahl ist offline Beiträge von eulerscheZahl suchen Nehmen Sie eulerscheZahl in Ihre Freundesliste auf
theoinfo
Grünschnabel


Dabei seit: 20.10.2016
Beiträge: 4

Auf diesen Beitrag antworten Zitatantwort auf diesen Beitrag erstellen Diesen Beitrag editieren/löschen Diesen Beitrag einem Moderator melden       Zum Anfang der Seite springen

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. smile
23.10.2016 01:47 theoinfo ist offline Beiträge von theoinfo suchen Nehmen Sie theoinfo in Ihre Freundesliste auf
Baumstruktur | Brettstruktur
Gehe zu:
Neues Thema erstellen Antwort erstellen
Informatiker Board » Themengebiete » Theoretische Informatik » Automatentheorie » Turingmaschine - Verständnsfragen