Computing with finitely presented semigroups and monoids

In this talk I will give an overview of the fundamental algorithms for computing semigroups and monoids defined by a finite presentation $\langle A | R \rangle$. Many (most?) natural questions (such as finiteness, triviality, and so on) about finitely presented semigroups are undecidable in general. On the other hand, the available computation methods can still be used to resolve such questions, and are successful in many examples that arise in the specific situations that interest pure mathematicians. In addition surveying various theoretic aspects, I will discuss the different implementations available.

Date and Venue

Start Date
Online Zoom meeting
End Date


James Mitchell

Speaker's Institution

University of St Andrews, UK



Semigroups, Automata and Languages