【摘 要】
:
关于有限字语言的析取性已有了丰富的结果,H.J.SHYR教授等也对无限字语言(即ω-语言)的析取性进行了研究。本论文是在SHYR教授等的研究基础上继续对ω-语言上的P-析取和,I-析取进
论文部分内容阅读
关于有限字语言的析取性已有了丰富的结果,H.J.SHYR教授等也对无限字语言(即ω-语言)的析取性进行了研究。本论文是在SHYR教授等的研究基础上继续对ω-语言上的P-析取和,I-析取进行研究。证明了: L为P-稠密的当且仅当L包含P-析取ω-语言;若I-析取ω-语言L是L<,1>和L<,2>的不交并,则要么L<,1>和L<,2>至少有一个是I-析取ω-语言或者L<,1>和L<,2>都包含I-析取ω-语言,由此性质进一步得到:不存在极大I-析取和极小I-析取ω-语言。为了进一步研究P-析取和I-析取ω-语言。本论文在第三章引入了P-析取辖区、I-析取辖区、P-稠密辖区和,I-稠密辖区的概念,并得到以下性质: P-析取辖区也是析取辖区;I-析取辖区是稠密的;P-稠密辖区、I-稠密辖区和稠密辖区三者是等价的。
其他文献
近年来,我国国内部门发达省份和地区,借鉴与参考欧美等国家构建公共图书馆总分馆制的策略,也初步建成了略有规模的公共图书馆总分馆制.但是受我国国情的影响,以及国内社会生
概率密度函数是统计学的基本概念之一。假设从某一未知总体中抽取一定数量的样本单元,密度估计就是利用这些样本单元去拟合总体的概率密度函数,f(x)。密度估计包括参数密度估计
数学形态学(Mathematical Morphology)将二值图像看成集合,并用结构元素进行“探测”.结构元素是一个可以在图像上平移、且尺寸比图像“小”的集合.基本的数学形态学运算是将结
对于全局优化问题的研究,填充函数算法一直是一种有效的求解方法。在局部优化的方法中,梯度投影法因为简单实用而得到广泛的应用,而滤子作为评判标准以其良好的数值结果也成为求
这篇论文共分三章.第一章引言部分主要介绍了正则半群,完全单半群上同余的刻划以及逆半群的Rees矩阵半群上某些同余的描述. 本文第二童研究逆半群的Rees矩阵半群的同余格.这部
现实生活中,有一种人说话、办事,总是先看上司的“脸色”。上司的“脸色”晴,他则说话滔滔不绝,办事利利索索,尽力发挥表现;上司的“脸色”阴,他则说话胆颤心惊,办事谨小慎
本文由Taylor级数的相关文章入手,以收敛半径转换为收敛横坐标的思路将讨论Dirichlet级数分为全平面及半平面两种情况.首先,就四种不同的型函数研究Dirichlet级数在全平面上的增
本文主要研究了排队论中一类有正、负顾客及可选服务的M/G/1重试可修排队系统。在本排队模型中,正、负两类顾客的到达形成相互独立的泊松过程。正顾客到达系统时遇服务器忙或
现代心理研究表明:自卑是后进生的认识特征,厌学是后进生的情感特征,拒教是后进生的行为特征。因此只有了解后进生的思想心理障碍及其产生的原因,对症下药,才能有的放矢地做
期权定价理论是现代金融学的重要组成部分,它促进了金融市场的繁荣和发展,它与资产投资组合理论、资本资产定价理论、市场有效性理论及代理问题一起,被称为是现代金融学的五大理