BuK/IIm10/BuK-Übung06 G1

Wiki-Quelltext dieser Seite.

=UTM und Gödelisierung=
==Aufgabenstellung==
Entwerfen Sie eine DTM ''C'', die eine beliebige Zeichenkette <math>w, w \in {0, 1}^+</math> , 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==