Syntactic monoid

A **syntactic monoid** is a concept from formal language theory that relates to the study of formal languages and automata. It combines concepts from algebra (specifically, monoids) and formal languages.