Syntactic monoid

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