能不成立，保证此一致性可使进行函数复合时不致出问题。一旦加上这种限制，就可以完全放心的去掉所有括号，因为幺半群乘积和幺半群在集合上的作用是完全满足结合性的。特别是这允许了幺半群的元素被表示为计算机科学意义上字母的字符串。这种抽象接着允许谈论一般的字符串运算，并最终导致了由字母的字符串构成的形式语言概念。formula_1-act和变换幺半群的另一个差异在于，对一个formula_1-act formula_2，幺半群的两个相异元素可能决定同样的Q变换。若我们限制其发生，则formula_1-act与