Computing finite index congruences of finitely presented semigroups and monoids

Marina Anagnostopoulou-Merkouri, Reinis Cirpons, James D. Mitchell +1

In this paper, we describe an algorithm for computing the left, right, or 2-sided congruences of a finitely presented semigroup or monoid with finitely many classes, and an alterna…