Berechenbarkeit #04 - Turing-Maschinen (Beispiele)

Wir sehen uns Beispiele für Turing-Maschinen an: Wir bauen deterministische Turing-Maschinen (DTMs) für zwei verschiedene Sprachen und zeigen damit, dass diese Turing-erkennbar sind. Das zweite Beispiel hat mich umgehauen!
Das erste Beispiel ist die Sprache {a^nb^nc^n}. Die zweite Beispiel ist die Sprache {w#w | w aus {a,b}*}.
Links für den Simulator:
Beispiel 1:
turingmachinesi...
Beispiel 2:
turingmachinesi...