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 [...] è quella di localizzazione di una varietà V: si dice che un semigruppo S appartiene localmente alla varietà V se, per ogni idempotente e∈S, il semigruppo eSe appartiene a V. Si può dimostrare che la famiglia di questi semigruppi è ancora una varietà ...
Leggi Tutto
idempotente
idempotènte agg. [comp. di idem e potente]. – In matematica, detto di un elemento di un insieme algebrico (corpo, anello, ecc.) quando il suo quadrato, e quindi tutte le sue potenze, rispetto a un’operazione dell’insieme, coincidono...