發送短信: Finite semigroups imposing tractable constraints