---

Geschrieben von marie m am 24.07.2017 um 14:31:

  Turingmaschine

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?