【摘 要】
:
该文以形式语言和自动机为工具,讨论了25个初等合法元胞自动机的语法复杂性.主要由如下八节组成:第一节扼要地介绍元胞自动机的背景知识和基本概念.第二节对元胞自动机作一般
论文部分内容阅读
该文以形式语言和自动机为工具,讨论了25个初等合法元胞自动机的语法复杂性.主要由如下八节组成:第一节扼要地介绍元胞自动机的背景知识和基本概念.第二节对元胞自动机作一般性地讨论.第三节讨论了十一个最简单的初等元胞自动机,它们的规则编号分别为:0,4,36,72,76,90,108,150,200,204,236.证明了它们的极限语言均为正规语言.第四节论了十个较简单的初等元胞自动机,它们的规则编号分别为:32,50,128,132,160,178,222,232,250,254.证明了它们的限语言也为正规语言.接下来两节讨论了164,218,104号元胞自动机,它们与前面相比要复杂.研究人员证明了164,218,104号元胞自动机的极限语言为正规语言.第七节研究人员尝试性地讨论了94号元胞动机,它的极限语言目前为止研究人员还不清楚,与前面相比似乎更复杂.第八节是全文的小结.是内容上的,也是方法上的.
其他文献
该文介绍了客户机/服务器的模型引论、分布处理风格、体系结构发展及其客户应用同服务器网络通讯原理和过程.结合企业应用的MITEL SX_2000s程控交换机,根据企业电话计费的具
该文研究的是计算机图形学中的离散细化算法.离散细化算法在规则与非规则几何造型中有独特的优点,其中引人注目之处在于采用统一的格式,可以生成光滑性较好的几何造型,亦可生
图的布尔指数集的研究是图论中的一个重要研究分支,其理论可以应用到信息工程、通讯网络、计算机科学、经济管理、医学等方面.而边-平衡指数集又是布尔指数集中的一个重要问
Bayes理论一开始就和统计最优决策相联系.该文首先给出了Bayes决策的基本原理,包括一个决策问题的基本要素的定义、损失函数的取法以及参数的先验分布的确定;然后,该文着重对
广西中医学院“党建带团建”工作探索自主、特色创新的发展,在环境、体制、方法创新方面,致力于共筑党团联动操作平台,将新的推优体制落实到基层中去,以求方法上点线成面的突
该文分三部分.第一部分是综述.介绍了该文中的基本概念、记号和术语,也阐述了对差分方程和微分差分方程的研究不仅有其理论价值,也有其实用价值.并对差分方程解的研究动态作
该文主要研究2n-维哈氏系统从TB-点发出的同宿轨的存在性及其离散化对同宿轨存在性的影响,共分七章.第一章讨论哈氏系统Jacobi矩阵的特征结构,得出此种矩阵在辛变换之下的标
第一部分,p(n≤3)阶群G_边可迁图的分类.设X是个无孤立点的简单(无向)图,如果G≤Aut(X)边可迁作用于X,则称图X是G_边可迁的,简称G_边可迁图.该文运用群论和数论中的典型方法,