排序方式: 共有1条查询结果,搜索用时 0 毫秒
1
1.
P-析取(I-析取)ω-语言是P-稠密的(I-稠密的).为了判断一个给定的ω-语言是否为P-稠密的(I-稠密的),定义了P-稠密辖区和I-稠密辖区,并证明其与稠密辖区等价. 相似文献
1