fd辖区与rf析取语言

一、引言 令X为一有限集合,X~+与X~*=X~+∪{ε}分别为X生成的自由半群与自由幺半群。 令L为X上一语言(即L(?)X~*),P_L为使得L是其若干等价类的并的X~*上的最大同余,即