发送短信: Finite semigroups imposing tractable constraints