1977年,Lassez和Shyr在《Factorization in the Monoid of languages》中证明不可约前缀码集并本原字的集合这一语言集不是码;对任......

2008年Tetsuo Moriya证明了:当p，q是两个不同的本原字时，若lg(p)=lg(q)，则对任意的n，m≥1且(n，m)≠(1，1)都有pnqm是本原字.在本论文第二......

称可被有限自动机识别的语言为正规语言.字母表A上的语言L称为稠密的,如果A*中每个字都是L中字的子字.不能写为其他字的幂的非空字......