论文部分内容阅读
本文通过在∑＾ω上定义半序关系“≤ω＾ｓ”，引进Ｓ广义ω－左凸语言，Ｓ广义ω－右凸语言和Ｓ广义ω－凸语言的概念，并给出各类Ｓ广义ω－凸语言与其前缀语言之间的关系；还给出了各类Ｓ广义ω－凸语言族对布尔运算的封闭性以及各类Ｓ广义ω－凸语言的充分必要要条件。
S广义ω—凸语言
【摘 要】
：
本文通过在∑＾ω上定义半序关系“≤ω＾ｓ”，引进Ｓ广义ω－左凸语言，Ｓ广义ω－右凸语言和Ｓ广义ω－凸语言的概念，并给出各类Ｓ广义ω－凸语言与其前缀语言之间的关系；还给出了各类Ｓ广义ω－凸语言族对
【机 构】
：
郑州大学计算机系
【出 处】
：
计算机研究与发展
【发表日期】
：
1994年10期
【基金项目】
：
国家自然科学基金
其他文献
数据通信是从本世纪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