Aus ProgrammingWiki

Copy-TM

Aufgabe

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

Lösung

Die folgende TM kopiert das Eingabeband.
Definition:

Zustandsübergänge:

Graph: