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