Semigruppo: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
m Bot: sistemo degli errori comuni... |
|||
Riga 66:
* L'insieme di tutte le relazioni entro un insieme munito della composizione tra relazioni.
* L'insieme di tutti i linguaggi su un dato alfabeto munito della giustapposizione fra linguaggi.
* Un monoide con base si definisce '''[[monoide libero]]''': esso è un semigruppo con elemento neutro dotato di base per i suoi elementi.
Il linguaggio di un automa a stati finiti rappresentato dall'insieme delle stringhe su un certo alfabeto Σ è un esempio importante di monoide libero.
== Isomorfismi, sottosemigruppi e ideali ==
| |||