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
La grande scienza. Automi e linguaggi formali
Dominique Perrin
Automi e linguaggi formali
La teoria degli automi e dei linguaggi formali ha lo scopo di descrivere le proprietà delle successioni di simboli. [...] intero k tale che la proprietà w∈X dipende soltanto dall'insieme dei blocchi di lunghezza k di w. Un semigruppo è idempotente se x=x2 e commutativo se xy=yx, identicamente. Per un importante teorema di McNaughton, Brzozowski e Simon, un linguaggio è ...
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...