Não, a string não precisa necessariamente começar com 1
.
Afinal, 1*
quer dizer "zero ou mais ocorrências de 1
". O quantificador *
admite zero ocorrências, o que quer dizer que o 1
não é obrigatório (veja alguns exemplos).
Só um detalhe: a regex possui um quantificador em volta dos parênteses: (...)*
, o que quer dizer que tudo que está entre os parênteses também pode ocorrer zero vezes. Ou seja, a regex também aceita strings vazias (ou "nada" - veja aqui como ela encontra um match).
Se bem que zero é um número par, então "zero ocorrências" do dígito 0
também é um "número par de zeros" (mas se a string não for vazia, aí deve ter pelo menos dois zeros).
Se não quiser considerar válida uma string vazia, pode trocar a regex para (1*01*01*)+
, pois o quantificador +
significa "uma ou mais ocorrências", ou seja, o que está entre parênteses deve ocorrer pelo menos uma vez. Assim, a string vazia não é mais considerada válida.
1*(01*01*)*
? Na imagem o automato aceita tanto a palavra vazia quanto palavras com vários 1.