Ich habe das Beispiel gerade nicht parat, aber ich denke das folgende sollte Dir dennoch helfen. Wenn ich die Übergänge eine TM definiere und gewisse Übergänge wegfallen lasse, dann muss ich ja im Endeffekt (zwecks der Vollständigkeit und damit man argumentieren kann, was in solchen Fällen passiert) sagen, was für diese Fälle nun gilt. Wenn Du nun dazu schreibst, dass für alle nicht definierten Übergänge kein Endzustand angenommen wird und der Kopf sich nicht mehr bewegt, sind das im Endeffekt alles Endlosschleifen in diesen Situationen, die nicht zur Akzeptanz führen. Dieses von dir angesprochene Weiterarbeiten ist genau diese Endlosschleife.