关于空间有界图灵机的细分非确定性

来源 :中国数学会计算机科学学术会 | 被引量 : 0次 | 上传用户:fuzhuyuansu
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
该文就空间有界图灵机其细分非确定性问题作了讨论。这一讨论的直接背景耒源于LBA问题。指出了解决非确定与确定之间关系的困难程度,同时对能不能对LBA问题作出回答也作了一点探讨。结果表明,空间有界图灵机的非确定性与确定性之间的关系类似于时间有界图灵机非确定性与确定性之间的关系,解决它们是相当困难的。(珑摘)
其他文献
使用程序型个人计算器,把焊缝射经探伤最少曝光次数N、一次曝光透照长度L〈,3〉、底片有效评定长度Leff参数的计算公式内存于计算器之中。使用时,只需向计算器输入工件外径D、厚度T、射源
新闻写作思想问题,在我们平常从事新闻工作中提得并不太多。许多人简单地认为,新闻工作者的使命就是及时准确地报道好新近发生的有价值的事件。笔者却以为新闻工作者的写作
该文给出了分支时序逻辑CTL的一个基于自动机理论的模型检验算法。作者将模型检验问题规约为树自动机的成员问题,即判定给定树是否为自动机所接收。通过模拟自动机在树上所有可能
本文记述了闽东茶区宁德市的部分至今幸存的稀有野生茶资源状况,观察记载了梅鹤姑娘坪的门头厂、乌坑和八都镇洋头村大车坪等多种“苦茶”的生物学性状;同时介绍了产地自然环境
该文研究了计算机科学理论中的可计算性理论、自动机理论、计算复杂性理论、程序文法、程序语言等,讨论了印刷电路的布线问题。(李励摘)
会议