monoide
Luca Tomassini
Termine utilizzato come sinonimo di semigruppo con identità. Un monoide è pertanto un insieme M con un’operazione binaria associativa (ossia a(bc)=(ab)c per ogni a,b,c∈M), usualmente [...] . Viceversa, ogni monoide può essere rappresentato come monoide degli automorfismi di un opportuno insieme S′. Ogni gruppo, xy è posto uguale a yx in Mοπ. Lo sviluppo della teoria dei monoidi e dei funtori aggiunti ha mostrato infine l’utilità di ...
Leggi Tutto
automa
autòma (ant. autòmato) s. m. [dal lat. automătus, gr. αὐτόματος, agg., «che si muove da sé»] (pl. autòmi, ant. autòmati). – 1. Macchina che riproduce i movimenti (e in genere anche l’aspetto esterno) dell’uomo e degli animali. Quindi,...
macchina
màcchina (ant. màchina) s. f. [dal lat. machĭna, che è dal gr. dorico μαχανά, attico μηχανή]. – 1. In senso storico e antropologico, qualsiasi dispositivo o apparecchio costruito collegando opportunamente due o più elementi in modo...