论文部分内容阅读
本文首先讨论带簇的Dn-1可检测性.令u∈L(B),它的等式含有n个变量.我们证明u是Dn-1可检测的,但不是Dn-2可检测的.文章的第三部分将上述结论推广到一类特殊的密码群并半群簇XB(9)上.令V∈XB(g),它的等式含有n个变量.我们证明V是Dn-1可检测的,但不是Dn-2可检测的.
本文共三部分,主要有如下内容:
第一章介绍了半群,带及密码群并半群的一些基本概念和引理,以及本文经常使用的符号.
第二章讨论了所有带簇的Dn-1可检测性.
第三章讨论了一类特殊的密码群并半群簇XB(g)的Dn-1可检测性.