Ciao a tutti, leggendo le domande che il Degano ha fatto all'orale sono rimasto abbastanza perplesso sulla seguente:
"Sappiamo dal padding lemma che esiste una funzione che restituisce indici di macchine equivalenti. Ne può esistere una che li restituisce tutti?"
Credo che la risposta sia no, ma non riesco a dimostrare il perchè. Qualcuno ha idea di come si possa fare?