New answers tagged terminology
3
Your question would probably fit better on MathsStackExchange, but here is an answer.
I don't think there is any specific name for your definition. Since any semigroup is isomorphic to a transformation semigroup, your question is about finitely generated semigroups that are quotients of the semigroup $S_n$ with presentation
$$
\langle a_1, \ldots, a_n \mid ...
Top 50 recent answers are included
Related Tags
terminology × 88reference-request × 21
graph-theory × 16
co.combinatorics × 11
ds.algorithms × 10
cc.complexity-theory × 9
lo.logic × 7
pl.programming-languages × 6
graph-algorithms × 5
soft-question × 5
fl.formal-languages × 4
optimization × 4
computability × 4
ds.data-structures × 4
complexity-classes × 3
lambda-calculus × 3
functional-programming × 3
ho.history-overview × 3
np-hardness × 2
approximation-algorithms × 2
automata-theory × 2
turing-machines × 2
reductions × 2
approximation-hardness × 2
dc.parallel-comp × 2