Menu
Home
People
Places
Arts
History
Plants & Animals
Science
Life & Culture
Technology
Reference.org
Syntactic monoid
open-in-new
<p>In <a href="/facts/Mathematics/pxTouaz4">mathematics</a> and <a href="/facts/Computer_science/lN3pEyPz">computer science</a>, the syntactic monoid M ( L ) {\displaystyle M(L)} of a <a href="/facts/Formal_language/crDTyP8q">formal language</a> L {\displaystyle L} is the minimal <a href="/facts/Monoid/6AHve7p8">monoid</a> that <a href="/facts/Recognizable_set/UP5IRBDQ">recognizes</a> the language L {\displaystyle L} . By the <a href="/facts/Myhill%25E2%2580%2593Nerode_theorem/m4XvKwt8">Myhill–Nerode theorem</a>, the syntactic monoid is unique up to unique isomorphism. </p>