Anfonwch hwn fel neges destun: Finite semigroups imposing tractable constraints