【摘 要】
：
RADO的忙海狸函数∑(n)是从空白带出发的n态停机图灵机能在带上留下的1的最大个数.经过30多年的研究讨论,和忙海狸函数相关,还引进了移动、空间、往返忙海狸函数等.这些函数
论文部分内容阅读
RADO的忙海狸函数∑(n)是从空白带出发的n态停机图灵机能在带上留下的1的最大个数.经过30多年的研究讨论,和忙海狸函数相关,还引进了移动、空间、往返忙海狸函数等.这些函数的不可计算性与Turing机停机问题的不可判定性是等价的.该文综述了这些研究成果,并总结出可用三种方法来证这些函数的不可计算性.另外,该文所得的结果主要是对目前最近似忙海狸的∑<,3>(五状态)进行了动态分析,从而能判知它的运行和停机状况等,结合此,企图为构造忙海狸找到可循的途径.最后,该文还补充了上述函数间的一些关系,并特别对只打1的T-打印机作了研究,给出了它们相应的函数及其间的关系.
其他文献
本文介绍了Banach空间X上的子空间格L及自反代数。设B是一个有单位元的代数，映射T是从algL到B的一个线性映射，满足下列条件之一:
(Z1) ab=0(→) T(a)T(b)=0，
(Z2) ab=
非线性泛函分析是应用数学中具有深刻理论和广泛应用的研究学科，以数学和自然科学中出现的非线性问题为背景，建立了处理非线性问题的若干一般性理论和方法. 本文共分为三章.
分数阶偏微分方程可以模拟物理、化学、生物等多个学科中的重要现象，如混沌动力行为、复杂物质或多孔介质的动力学，近几年已经成为一个研究热点。分数阶偏微分方程分为三类:时
P2P网络(peer-to-peer)的出现,有效的解决了传统网络模式的单点失效、性能瓶颈等问题,将人们更直接的通过网络联系起来,人们可以通过对等网络方便的交互信息和资源,自己可以
多输入多输出(MIMO, Multiple-Input Multiple-Output)系统是近几年飞速发展的无线通信系统核心技术之一,不仅可以用来提高信道容量,还可以提高信号的信噪比(SNR, Signal And
新媒体时代的到来,对大学生思想政治教育带来积极影响的同时,也带来了挑战.高校思想政治教育者应转变观念,提升自身新媒体应用的能力;重视大学生的媒介素养教育;创新新环境下
该论文以投入产出分析在企业中的具体应用为背景,对投入产出模型应用进行了研究.主要工作有以下几点:1、设计并编制了适合核企业特点的投入产出表,编写了以该企业 投入产出表
随着世界各国的能源日趋稀缺，矿产资源成为能源研究的重要课题之一。地质体三维可视化技术的应用为建立矿山数学模型提供了科学的工具，合理优化的矿山模型对矿山的开采设计和生
图的谱理论作为图论和组合矩阵理论的一个重要组成部分，已经得到了越来越多研究者的关注。它主要研究图结构与图矩阵及其特征值的关系，涉及邻接谱、拉普拉斯谱、拟拉普拉斯谱和
矿山井下电梯是服务于矿山井下采区的固定式升降设备,用于矿山竖井人员和物资的运输,具有调速平滑、运行稳定和自动化程度高的优点,自20世纪90年代中后期开始在大中型矿山广