半群

在數學中 ， 半群是閉合於結合性二元運算之下的集合 S 構成的代數結構 。 半群的運算經常指示爲乘號 ， 也就是 或簡寫爲 xy 來指示應用半群運算於有序對 ( x, y ) 的結果 。 半群的正式研究開始於二十世紀早期 。 自從1950年代 ， 有限半群的研究在理論計算機科學中變得特別重要 ， 因爲在有限半群和有限自動機之間有自然的聯繫 。