A complete rewrite system and normal forms for (S)_reg

Jean-Camille Birget, Stuart W. Margolis

The (.)_reg construction was introduced in order to make an arbitrary semigroup S divide a regular semigroup (S)_reg which shares some important properties with S (e.g., finiteness…