An explicit algorithm for normal forms in small overlap monoids

James D. Mitchell, Maria Tsalakou

We describe a practical algorithm for computing normal forms for semigroups and monoids with finite presentations satisfying so-called small overlap conditions. Small overlap condi…