中文摘要 | 第1-6页 |
第一章 元胞自动机简介 | 第6-19页 |
1.1 引言 | 第6-7页 |
1.2 元胞自动机的定义 | 第7-10页 |
1.3 元胞自动机的分类问题 | 第10-12页 |
1.4 元胞自动机的极限语言 | 第12-15页 |
1.5 元胞自动机的演化语言 | 第15-19页 |
第二章 94号和22号元胞自动机 | 第19-38页 |
2.1 引言 | 第19-20页 |
2.2 基本思想 | 第20-21页 |
2.3 寻求具有唯一负半轨的符号串 | 第21-24页 |
2.4 s-演化和s-周期串 | 第24-26页 |
2.5 关于s-周期符号串的研究 | 第26-31页 |
2.6 定理的证明 | 第31-35页 |
2.7 22号元胞自动机 | 第35-38页 |
第三章 122号元胞自动机 | 第38-48页 |
3.1 引言 | 第38页 |
3.2 定理3.1的证明 | 第38-45页 |
3.3 定理3.2的证明 | 第45-48页 |
第四章 18号元胞自动机的演化语言复杂性 | 第48-63页 |
4.1 引言 | 第48页 |
4.2 一些定义与两个命题 | 第48-50页 |
4.3 定理的证明 | 第50-52页 |
4.4 两个命题的证明 | 第52-63页 |
第五章 几个初等元胞自动机的关系 | 第63-79页 |
5.1 引言 | 第63-64页 |
5.2 18号元胞自动机的进一步研究 | 第64-68页 |
5.3 18号元胞自动机与126号元胞自动机之间的关系 | 第68-74页 |
5.4 18号元胞自动机与146(182)号元胞自动机之间的关系 | 第74-79页 |
第六章 讨论 | 第79-103页 |
6.1 对极限语言的讨论 | 第79-81页 |
6.2 对演化语言的讨论 | 第81-103页 |
附录A 形式语言与自动机理论简介 | 第84-92页 |
A.1 引言 | 第84页 |
A.2 基本概念 | 第84-85页 |
A.3 四类语言与四类自动机 | 第85-86页 |
A.4 正规语言与有限自动机 | 第86-88页 |
A.5 关于正规语言的一些结论 | 第88-89页 |
A.6 关于上下文无关语言的几个引理 | 第89-90页 |
A.7 形式语言的封闭性 | 第90-92页 |
附录B 引理4.4.12的证明 | 第92-99页 |
B.1 一些记号与命题 | 第92-94页 |
B.2 引理的证明 | 第94-99页 |
附录C Gilman的一个例子 | 第99-103页 |
C.1 一些引理 | 第99-101页 |
C.2 定理及其证明 | 第101-103页 |
参考文献 | 第103-109页 |
致谢 | 第109页 |