Үүнийг мессежээр илгээх: Finite semigroups imposing tractable constraints