DECISION PROBLEMS FOR FINITELY PRESENTED AND ONE-RELATION SEMIGROUPS AND MONOIDS
Alan J. Cain, Victor Maltcev · International Journal of Algebra and Computation · 2009
For some distinguished properties of semigroups, such as having idempotents, regularity, hopficity, etc., we study the following: whether that property or its negation is a Markov property, whether it is decidable for finitely presented semigroups and for one-relation semigroups and monoids. All the results and open problems are summarized in a table.