語法幺半群

語法幺半群 ， 即在數學中 ， 形式語言 L 的 語法幺半群 M ( L ) 是可識別語言 L 的最小的幺半群 。