This continues until s1 finds a 0 (this is the 0 in the middle of the two strings of 1s) at which time the machine halts.
Aceasta continuă până când S1 găsește un 0 (anume 0-ul din mijlocul celor două șiruri de 1) moment în care mașina se oprește.