积分语言族的强可识性、半可识性与语言族的强替换性

令∑为有限字母表,∑~*为三生成的自由么半群。u∈∑~*为∑上的字,L∑~*为∑上的语言,xL(∑)为∑上的语言族。∫XdV为关于字V的X的积分。c′(X)为X的强相容闭包。郭聿琦等建立并讨论了语言族的强可识性,半可识性与强替换性。本文讨论积分语言族的强可识性与半可识性,建立了积分语言族强可识与半可识