摘要

综合了文献[1]与郭聿琦①等的另一篇文章中的几个事实,得到了命题1:若L1L∈Df(Dt,Dr),则L∈Df(Dt,Dr),其中L1,L为字母表A上语言且L1有限。关于命题1中的Dr情形,给出了一个新的简单证明。还证明了:关于D和Di,命题1也成立。进一步将命题1中L1从"有限的"改扩成"稀疏的"后,关于D,Df和Dt命题仍然成立;又用例子指出关于Di和Dr命题并不成立。