Copy-TM

Aufgabe

Entwerfen Sie eine DTM C, die eine beliebige Zeichenkette w, w \in \{0, 1\}^{+}, als Bandinschrift erwartet und diese kopiert, so dass C mit wBw auf dem Band stoppt und der Kopf auf dem ersten Zeichen von wBw steht. B ist das Vorbelegungszeichen von C. Es dient zur Trennung zwischen den beiden Wörtern w.
Verwenden Sie AutoEdit aus AtoCC.

Lösung

Die folgende TM kopiert das Eingabeband.
Definition:

Zustandsübergänge:

Graph: