Monoide
estrutura algébrica com uma operação associativa e um elemento identidade / De Wikipedia, a enciclopédia encyclopedia
Em álgebra abstrata, um monoide é uma estrutura algébrica com uma única operação binária, associativa e com um elemento neutro.[1]
Monoides ocorrem em alguns ramos da matemática. Em geometria, um monoide captura a ideia de composição de função. Essa noção é abstraída da teoria das categorias, no qual o monoide é uma categoria com um objeto. Os monoides são usados comumente para fornecer fundações algébricas à ciência da computação. Nesse caso, alguns tipos de monoides são usados para descrever uma máquina de estado finito.