语法幺半群 语法幺半群即在数学中形式语言 L 的 语法幺半群 ML 是可识别语言 L 的最小的幺半群