Ist das eine Aufgabe? Falls ja dann schicke sie bitte als ganzes.

Soweit ich das verstehe ist der Zustand z2 ein Fehlerzustand/Endzustand. Aus diesem Grund beginnt auch die Turingmaschine bei dem zweiten Stern, da wenn er zwei Sterne nacheinander einließt befindet er sich in z2. z0 kann übrigens nicht bei 1 beginnen, denn z0 kann nur die Eingabe * einlesen, welches durch einen * ersetzt wird. Also wenn die Zeichenkette aus * 10110 * bestehen würde müsste dennoch z0 bei dem ersten Stern beginnen, allerdings erreicht er dadurch niemals z2.