שליחה במסרון: Finite semigroups imposing tractable constraints