Aufgabe:
Aufgabe:
Wir betrachten die Turingmaschine TH. Eingabealphabet sei hier A = {a, b, c}.
1) Überprüfen Sie, ob die folgenden Aussagen wahr oder falsch sind.
- \( a b c z_{0} a b c \vdash a b z_{1} Z a b c \).
- \( a b a b c c z_{3} c \vdash a b a b c z_{4} Z c \).
- \( X b z_{3} c c b a \vdash^{*} X Y z_{1} Z Z b a \).
- \( \epsilon z_{0} a b b c c \vdash^{*} X Y Y Z Z z_{7} \epsilon \).
- \( \epsilon z_{0} a b c c \vdash^{*} X Y Z Z z_{7} \epsilon \)
- \( \epsilon z_{0} a b b c c c \vdash^{*} X Y Y Z Z Z z_{7} \epsilon \).
2)Bestimmen Sie \( L\left(T_{H}\right) \). Es genügt dabei die korrekte Sprache anzugeben sowie zu zeigen, dass die Wörter dieser Sprache von \( T_{H} \) akzeptiert werden - dass andere Wörter nicht akzeptiert werden muss nicht gezeigt werden. Sie dürfen die Resultate von Aufgabe 1 der Saalübung sowie Aufgabe 1 des Tutoriumszettels nutzen.
Problem/Ansatz:
Hat jemand unter den Informatikern ne Idee? Ich schaue mir so viele Videos über Turingmaschinen an, aber komme bei dieser Aufgabe einfach nicht weiter...