元胞自动机语法复杂性.pdf

摘要 l 摘要 元胞自动机是自然界许多复杂系统的理想化数学模型，它可以模 拟许多自然现象与生命现象．大量未解决的问题为这个困难而有趣的 领域展现了广阔的前景． 本文以形式语言和自动机理论为工具研究元胞自动机的语法复 杂性．主要分两大部分：极限语言复杂性和演化语言复杂性． 极限语言部分，我们引进斜周期的思想，通过解决限制性的Mem- 规的；更进一步，对于122号元胞自动机，我们证明它的极限语言既不 是正规语言，也不是上下文无关语言． 演化语言部分，我们用类似的思想，证明了18号元胞自动机的 1一演化语言是正规语言，而n一演化语言(n≥2)是上下文有关语言， 但不是上下文无关语言． 机的关系．证明了如果18号元胞自动机的极限语言不是正规的，则 126号元胞自动机的犯一演化语言∽≥4)是上下文有关语言，但不是 上下文无关语言． 在本文最后，我们给出了一些猜测与Open Problem卢