other names · Added 9 October 2026
Syntactic monoid
Smallest monoid that recognizes a formal language
In mathematics and computer science, the syntactic monoid
M
(
L
)
{\displaystyle M(L)}
L
{\displaystyle L}
is the minimal monoid that recognizes the language
L
{\displaystyle L}
. By the Myhill–Nerode theorem, the syntactic monoid is unique up to unique isomorphism.
From Wikipedia (CC BY-SA). Not a dictionary word, so it lives in Other Names.
Read more about Syntactic monoid on Wikipedia → or look up a word above