Hallo,
ich habe folgende Beschreibung einer Turingmaschine gefunden die ein nicht-leeres Wort w aus dem Alphabet { _, x(2), ... , x(m) } spiegelt:
... _ w(1) _ w(2) _ ... -> ... _ w(2)^R _ w(1) _ ...
(s. Anhang)
Diese arbeitet analog zur Kopiermaschine, nur dass sie das Wort spiegelt, und schiebt zum Schluss die gespiegelte Kopie auf das ursprüngliche Wort.
Ich habe die Definition nicht so richtig verstanden.
R ist die große Rechtsmaschine, L ist die große Linksmaschine und V
ist die Verschiebemaschine.
Könnt ihr mir die Definition der TM erklären?
Sind die R, L, V Hilfsturingmaschinen? Sind mit R bzw. L die Recht- bzw. Linksmaschinen gemeint, also diese die einen Schritt nach rechts (links) gehen und anschliessend so lange weiter nach rechts (links) gehen bis sie ein Leerzeichen lesen?
marie m hat dieses Bild (verkleinerte Version) angehängt:
Dieser Beitrag wurde 1 mal editiert, zum letzten Mal von marie m: 24.07.2017 19:28.
|