Statement

Giorgio ha deciso di rispondere in modo conclusivo alla domanda che ha assillato l'umanità per tanti anni: esistono oppure no gli alieni? Per questo motivo, si è messo alla ricerca di tracce aliene. Al fine di rilevare presenze extraterrestri, Giorgio ha eseguito una serie di misurazioni elettromagnetiche. Dopo giorni di misurazioni, è arrivato a determinare con precisione una stringa S che: (1) È composta da sole cifre decimali (da 0 a 9); (2) È terminata da una cifra 0 (in ultima posizione); (3) Il carattere terminatore 0 è presente solo in ultima posizione e non prima. Questa stringa potrebbe essere un messaggio degli alieni. Ovviamente però, per verificare la cosa, sarebbe necessario fare un complicatissimo conteggio per sapere quante volte questa stringa compare spontaneamente "in natura". Per una stima iniziale però, Giorgio farà un conteggio molto semplice...