Automi e linguaggi formali
Dominique Perrin
La teoria degli automi e dei linguaggi formali ha lo scopo di descrivere le proprietà delle successioni di simboli. Tali successioni si presentano in situazioni [...] afferma che la fattorizzazionedi un intero è di numeri. L'interpretazione diuna parola su 0 e 1 come sviluppo di un intero in base 2 è un esempio di funzione di questo tipo. Essa si può calcolare come l'elemento in alto a destra della matrice ...
Leggi Tutto
Matematica: problemi aperti
Claudio Procesi
Prima di parlare dei problemi aperti nella matematica è bene riflettere su quelli che ne hanno segnato la storia passata. Sono infatti proprio questi che [...] numero è primo ma al contrario si ritiene che il problema della fattorizzazionedi un intero non sia in P.
Il fatto che sia possibile esprimere in termini matematici una domanda che riguarda il funzionamento dei computer dipende dai famosi risultati ...
Leggi Tutto