若干初等元胞自动机演化语言复杂性

来源 :华东理工大学 | 被引量 : 0次 | 上传用户:ljc2696
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
元胞自动机是研究复杂系统的一种理想化的数学模型。它可以看成一类无穷维动力系统,其特点是空间、时间和状态都离散,可用来模拟许多物理、生物和化学等复杂的自然现象。本文以形式语言和符号动力学理论为基础,运用禁止字和有限自动机等工具,研究了51个初等元胞自动机宽度为2的演化语言复杂性。在对这51个初等元胞自动机的禁止字分析之后,按照演化语言的复杂程度将这些初等元胞自动机分为三类:演化语言无禁止字;演化语言为有限补语言;演化语言为无限补正规语言。第一类初等元胞自动机的演化语言没有禁止字,自然是正规语言。第二类初等元胞自动机的演化语言只有有限个禁止字,其宽度为2的演化语言是正规语言。第三类初等元胞自动机的演化语言有无限多个禁止字,但这些禁止字存在着规律性,通过理论分析后,其宽度为2的演化语言也是正规语言。在文章的最后小节中,结合现有的结果,对88个初等元胞自动机的演化语言复杂性做了总结。
其他文献
本文讨论了一类次二次Hamilton系统周期解的存在性和多重性问题.对于存在性问题的研宄,首先我们通过变分法,将Hamilton系统周期解的问题转化为对应泛函的临界点的问题,然后利用
图的控制理论是图论研宄中最活跃的领域之一.基于解决实际问题的需要,产生了诸多类图的控制,大体分为关于无向图的控制和关于有向图的控制两类.本文亦从实际问题出发,研宄了删去
这篇文章将展示定义在全空间上的流体力学问题中出现的椭圆方程的一些结果,比如Cα估计,L2估计和Lp估计。我们主要应用Fourier分析来处理H(o)lder解空间的情况,用Lax-Milgram定