拟f-析取语言与正则理想

在[2]中,作者证明了主要定理:若L是X上的有限內缀码,则L不是几乎极大的,当且仅当存在一个无限拟 f-析取语言 A(?).本文中,我们推广了该结果,证明了以下事实:若 I 是一个正则理想,别|(?)|=∞的充要条件是(?)中含无限个无限拟 f-析取语言.