monoid

views updated

monoid A semigroup that possesses an identity element, e. If S is a semigroup on which there is defined a dyadic operation ◦, then xe = ex = x

for all elements x in S. Monoids play an important role in various areas of computing, especially in the study of formal languages and parsing.