L(M1) is the set of bit strings that have any number of 1s followed by one or more 0s.