Vamos haver algum conjunto finito de caracteres de tamanho fixo. Seja α um fio acima de Σ . Dizemos que um substrato não vazio β de α é uma repetição se β = γ γ para alguma cadeia γ .
Agora, minha pergunta é se o seguinte vale:
Para cada , existe algum n ∈ N, de modo que, para cada string α acima de Σ de comprimento, pelo menos n , α contenha pelo menos uma repetição.
Eu verifiquei isso no alfabeto binário, e isso é bastante fácil para esse caso, mas um alfabeto de tamanho 3 já é um pouco mais difícil de verificar, e eu gostaria de uma prova de gramáticas arbitrariamente grandes.
Se a conjectura acima for verdadeira, eu posso (quase) remover a demanda por inserir cadeias vazias na minha outra pergunta .