Facendo intervenire i residuali destro e sinistro di due complessi, si assegna una condizione necessaria e sufficiente affinché una parte di un monoide libero venga codificata con decifrabilità unica.
Si presenta anzitutto un modello per i reticoli modulari infiniti (sopra un alfabeto di cardinalità qualunque e contenente un insieme infinito di moduli). Si utilizzano poi tali reticoli nella simulazione degli automi deterministi, e si stabilisce il legame tra un automa e l'automa associato al reticolo modulare che lo simula.
Si assegnano una condizione necessaria e sufficiente affinché un sottogruppo generato da un insieme finito di parole provenienti da un semigruppo libero ammetta la proprietà di decifrabilità unica, ed una caratterizzazione per i codici.
Page 1