句法同余论文

论文摘要综合了文献[1]与郭聿琦①等的另一篇文章中的几个事实,得到了命题1:若L1L∈Df（Dt,Dr）,则L∈Df（Dt,Dr）,其中L1,L为字母表A上语言且L1有限。关于...

论文摘要本文主要利用solid码和句法同余研究语言.首先,在l（S）上定义运算*,其中S为字母表A上一solid码.证明了（l（S）,*）为一幺半群,并对其幂等元和正则元进行了...