论文部分内容阅读
[He 88]在第三部分“UP有图灵完全语言吗”?的标题下构造了一个递归Oracle A,并且证明UP~A 无图灵完全语言。本文构造了一个NP Oracle B 并且证明UP~B 有多项式完全语言(从而也就有图灵完全语言)。
UP的相对完全性
【摘 要】
：
[He 88]在第三部分“UP有图灵完全语言吗”?的标题下构造了一个递归Oracle A,并且证明UP~A 无图灵完全语言。本文构造了一个NP Oracle B 并且证明UP~B 有多项式完全语言(从而
【机 构】
：
南京大学数学系,南京大学数学系210008,210008
【出 处】
：
计算机研究与发展
【发表日期】
：
1991年2期
其他文献
本文针对李氏迷路法在晚期布线存在的问题,首次提出线迷路算法LineMa-ze。LiaeMaze 与李氏迷路法具有相同的绕障碍能力,但前者具有更高的效率。
本文提出一种基于知识的汉语连续语音识别方法,它采用听觉感知模型参数对连续自然语音进行自动分段和特征提取,并在此基础上运用模糊集运算实现语音的识别。
采用部分脱脂的核桃乳与牛乳混合进行乳酸菌发酵,制成核桃酸奶,不仅具有浓郁的核桃与酸奶风味,而且富含多种营养成份,是一种优良的营养保健食品,其制作工艺简介如下.
据美国科学日报报道,不久的将来,人们将看到一架20cm长的微型直升机在塌陷建筑物中搜寻遇难者或勘测受污染地区。这种微型直升机能够在空中飞行工作主要取决于其轻质量燃料电池,这种新型燃料电池仅重30g,却能输出功率12W。
本文从接近于人类思维的产生式系统着手,分析了认知心理学信息加工理论的局限性,提出了一种人类思维过程的有限关联团块观点及基于该观点的、支持多种(一般、并行,特别是分布
2009年5月底，中国石化股份公司九江石化公司节水减排重点工程——450万t／a生活污水处理与中水回用装置建成并投入使用。目前，该装置已经完成了生化调试和膜调试，投入正常生产。九
我们正着手开发一个面向对象的工程数据库管理系统(OOEDBMS).本文着重介绍了OOEDBMS的模式管理和对象操纵的设计与实现.在模式管理中,介绍了模式描述语言DDL的三大功能及实现
本文根据目前硬件高速发展的趋势，在著述ＣＡＤ系统的硬件加速器主要特征的基础上，介绍了加速器的几种典型结构，同时讨论了加速器环境中的并行算法设计。
针对丙烯腈装置余热锅炉运行周期较短、能源浪费较高且易造成环境污染的现象提出几种改造方案，选择出最佳改造设计方案并对其进行详细的设计计算和技术经济分析，从节能和经济性