Sia un insieme finito di caratteri di dimensioni fisse. Lascia che sia una stringa sopra . Diciamo che una sottostringa non vuota di è una ripetizione se per una stringa .
Ora, la mia domanda è se vale quanto segue:
Per ogni , esiste qualche tale che per ogni stringa oltre Σ di lunghezza almeno n , α contiene almeno una ripetizione.
Ho controllato questo sull'alfabeto binario, e questo è abbastanza facile per quel caso, ma un alfabeto di dimensione 3 è già un po 'più difficile da controllare, e vorrei una prova per grammatiche arbitrariamente grandi.
Se la congettura di cui sopra è vera, allora posso (quasi) rimuovere la richiesta di inserire stringhe vuote nell'altra mia domanda .