In mathematics and computer science, the syntactic monoid {\displaystyle M(L)} of a formal language L is the smallest monoid that recognizes the language L. Wikipedia