关于交替的ω-有穷自动机的接受条件

来源 :软件学报 | 被引量 : 0次 | 上传用户:liyanxia8521
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
到目前为止,交替的ω-有究自动机的接受条件仅有6种,本文给出了6种新形式的接受条件,并研究了交替的ω-有究自动机交些条件下识别语言的能力,最后给出了ω-自动机在各种接受条件下识别的语言类。
其他文献
为了解决解释学习中知识库不完备的问题,本文引入了多知识库协作,提出了解释与联想的学习方法。
随着我国社会主义市场经济改革的不断深化以及人口老龄化的加剧,一方面作为“社会安全网”和“社会减震器”的社会保障体系越来越重要,另一方面作为社会保障体系建设基础与保证
和谐思维方式属于哲学思维方式,它运用马克思主义思维方式来引领社会主义和谐社会建设。和谐思维具有重要的实践引领价值,对当代社会发展进步具有普遍意义,是我们构建和谐社会的
本文提出了一个基于知识的,支持面向对象程序设计方法的软件重用构件查询系统,本系统采用了语义网络知识表示模型,提供了构件知识表示语言CKRL,来描述可重用构件的特征和用于检索的知
本文介绍了农地银行的涵义,分析了农地银行节约交易成本的机理,本文认为当前发展农地银行要做好以下三方面工作:一是加快农村金融发展,适时开放农村金融发展的限制条件。二是建立
本文将以沈长公路老岭隧道工程为例,针对隧道完工后出现的渗漏水现象,通过分析渗漏水原因,提出了公路隧道渗漏水的防治措施,并取得了良好的防水效果。
地方高校对注册会计师专业的人才培养,是一项系统工程。首先,要做好培养目标的定位。定位要恰当,既不能脱离实际好高骛远,也不能毫无追求的放任自流,而是要科学合理;其次,在做好培养
数学建模思想指导下韵高等数学教学,能为抽象的数学理论创设或恢复数学创造的全过程,为学生提供一条解决实际问题的路径和学习数学的良好习惯。
在电子商务迅猛发展的背景下,电子商务平台、电子认证、电子支付、现代物流等方面的发展获得了广泛的关注并取得了一定的成绩。然而电子商务的人力资源建设逐渐成为了电子商务
科学合理地开展杨树害虫食叶预测预报工作是做好防治工作的基础,将杨树食叶害虫的防治工作贯穿于营林生产全过程,坚持无公害防治的原则,合理使用营林措施、生物防治、物理防