Un sistema di riscrittura è dato da un insieme di oggetti e delle relazioni per trasformarli.
I primi string rewriting system furono introdotti nel 1917 cercare per risolvere il problema della parola per i semigruppi finitamente presentati. In seguito allo sviluppo della teoria della calcolabilità, si dimostrò che rappresentavano un modello di calcolo Turing-completo, permettendo di affermare l'indecidibilità del problema della parola.
Obiettivo dell'incontro sarà dimostrare il teorema di Squier che permette di caratterizzare geometricamente delle interessanti proprietà computazionali di un monoide.