Գրեք սա: Finite semigroups imposing tractable constraints