系类似的，左语法关系是两端同余可以定义为
语法幺半群.语法商相容于在幺半群中的串接，有着对于所有 formula_9 (左商也类似)。所以，语法商是幺半群态射，并包括一个商幺半群可以证明 "S" 的语法幺半群是可识别"S" 的最小的幺半群；就是说 "M"("S") 识别 "S"，对于所有识别 "S" 的幺半群 "N"，"M"("S") 是 "N" 的子幺半群的商。"S" 的语法幺半群也是 "S" 的极小自动机的转移幺半群。等价的说，一个语言 "L" 是可识别的