首页--工业技术论文--自动化技术、计算机技术论文--自动化技术及设备论文--自动化装置与设备论文

元胞自动机的语法复杂性

中文摘要第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页

论文共109页,点击 下载论文
上一篇:基于内容的图像检索技术研究
下一篇:UWB SAR系统设计与实现