학술논문

The Todd–Coxeter algorithm for semigroups and monoids
Document Type
Original Paper
Source
Semigroup Forum. :1-58
Subject
Semigroup
Monoid
Finite presentations
Congruences
Algorithms
Computer algebra
Language
English
ISSN
0037-1912
1432-2137
Abstract
In this paper we provide an account of the Todd–Coxeter algorithm for computing congruences on semigroups and monoids. We also give a novel description of an analogue for semigroups of the so-called Felsch strategy from the Todd–Coxeter algorithm for groups.