These transformations apply to finite presentations of monoids (and maybe even semigroups?). Could use some more detail, too.