P-稠密辖区和I-稠密辖区

摘要

P-disjunctive（I-disjunctive）ω-languages are P-dense（I-dense）.In order to determine a given ω-language is P-dense（I-dense） ω-language or not,the definition of P-dense domains and I-dense domains are defined,and it is shown that they are equivalent to dense%P-析取（I-析取）ω-语言是P-稠密的（I-稠密的）.为了判断一个给定的ω-语言是否为P-稠密的（I-稠密的）,定义了P-稠密辖区和I-稠密辖区,并证明其与稠密辖区等价.