S广义ω—凸语言

来源 :计算机研究与发展 | 被引量 : 0次 | 上传用户:JK0803_lijixiang
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文通过在∑^ω上定义半序关系“≤ω^s”,引进S广义ω-左凸语言,S广义ω-右凸语言和S广义ω-凸语言的概念,并给出各类S广义ω-凸语言与其前缀语言之间的关系;还给出了各类S广义ω-凸语言族对布尔运算的封闭性以及各类S广义ω-凸语言的充分必要要条件。
其他文献
数据通信是从本世纪50年代末,随着电子计算机的发展和广泛应用而开发的一种通信方式,是计算机和通信结合的产物。目前我国提供的数据通信业务是由数据通信网络支持的并由运营部
本文将就AI(Artificial Intelligence)研究中所存在的若干问题进行讨论,而就AI研究与理论框架、AI 研究与计算机、AI 研究与并行机制、AI 研究与实现技术及AI 研究与认知科学
具有良好的心理素质是学生提高自身综合能力和素质的基础,因此是全体教师关注的焦点.在体育教学中开展心理健康教育,就必须营造民主、宽松的教育氛围,根据教材中的心理健康教
本文综述了定理机器证明的否证方法在近十年来的发展概况,并着重介绍了一些具有代表性的工作.
目的观察肺表面活性物质(pulmonary surfactant,PS)联合经鼻持续气道正压通气(nasal continuous positive airway pressure,NCPAP)治疗新生儿呼吸窘迫综合征(respiratory distress
WHYMX的数据模型使得事务管理复杂化,传统的封锁法不足以解决事务并发控制出现的新问题。本文首先扼要介绍了基于封锁法扩展的单级事务并发控制协议,然后给出了对应的实现算
公用电话交换网与互联网的融合编者按:互联网在短短的若干年内已如此快速发展,其中的奥妙在于它越来越依靠已存在一百多年,几乎无处不在,使用简便,收费低廉,性能稳定,为广大用户所接
富血小板纤维蛋白(PRF)是经自体全血离心而获得的被誉为新一代血小板血液浓缩物,它经自体外周血离心分层后,是处于红细胞碎片层与贫血小板血浆层之间的网状纤维蛋白凝胶。PRF 提
one-way函数是否存在迄今仍为一个开问题.文献[5]提出了分层one-way函数的概念.本文在布尔线路中讨论了分层one-way函数的存在性并得到结果:(1)给定k≥j】0,若存在j-honest的2k