半群中的乘法一致（亦即，formula_34），因为一般而言，对于某个任意formula_24此性质可能不成立，保证此一致性可使进行函数复合时不致出问题。一旦加上这种限制，就可以完全放心的去掉所有括号，因为幺半群乘积和幺半群在集合上的作用是完全满足结合性的。特别是这允许了幺半群的元素被表示为计算机科学意义上字母的字符串。这种抽象接着允许谈论一般的字符串运算，并最终导致了由字母的字符串构成的形式语言概念。formula_1-act和变换幺半群的另一个差异在于，对一个formula_1-act form