এই পাঠটি: Finite semigroups imposing tractable constraints