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 [...] una struttura di gruppo abeliano. In particolare, i suoi punti interi (incluso l'infinito) formano un gruppo abeliano finitamentegenerato del tipo ℤr⊕F, con F gruppo finito, ma nonostante l'apparente semplicità del problema non sono noti metodi ...
Leggi Tutto
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 [...] per u∈A* e X∈F. Si possono caratterizzare i linguaggi liberi dal contesto su A come gli elementi di una sottoalgebra finitamentegenerata dell'algebra dei sottoinsiemi di A*. Per esempio, il linguaggio di Lukasiewicz L sull'alfabeto {a,b} soddisfa l ...
Leggi Tutto