半群，即在数学中，形式语言 "L" 的 语法幺半群 "M"("L") 是可识别语言 "L" 的最小的幺半群。
语法商.给定幺半群 "M" 的子集 formula_1，可以定义由 "S" 中元素的形式左逆或右逆组成的集合。它们叫做商，可以定义右商和左商，依赖于串接的是哪一端。"S" 与一个元素 formula_2 的右商是集合类似的，左商是 
语法等价.语法商引发了 "M" 上的一个等价关系，叫做(引发自 "S" 的)语法关系、语法等价或语法同余。右语法