多墨水点两方向交替式下推自动机的研究
| 独创声明 | 第1页 |
| 学位论文版权使用授权书 | 第3-4页 |
| 摘 要 | 第4-6页 |
| Abstract | 第6-11页 |
| 1 绪论 | 第11-16页 |
| ·课题研究对象和国内外研究概况 | 第11-14页 |
| ·课题实现的具体目标及其意义 | 第14-15页 |
| ·本论文的内容安排 | 第15-16页 |
| 2 自动机理论基础 | 第16-26页 |
| ·自动机定义 | 第16页 |
| ·自动机理论分类 | 第16-18页 |
| ·有限自动机论 | 第16-17页 |
| ·无限自动机论 | 第17页 |
| ·概率自动机论 | 第17页 |
| ·细胞自动机论 | 第17-18页 |
| ·抽象自动机论 | 第18页 |
| ·自动机理论与其他学科的关系和应用 | 第18-19页 |
| ·与数学学科的关系 | 第18页 |
| ·与形式语言的关系 | 第18页 |
| ·与控制论的关系 | 第18-19页 |
| ·与生物领域的关系 | 第19页 |
| ·几个基本概念 | 第19-20页 |
| ·语言间的基本运算 | 第19页 |
| ·封闭 | 第19-20页 |
| ·经典自动机介绍 | 第20-26页 |
| ·图灵机 | 第20-21页 |
| ·有穷自动机 | 第21-23页 |
| ·下推自动机 | 第23-26页 |
| 3 交替式下推自动机与网格 | 第26-32页 |
| ·网格计算兴起 | 第26-29页 |
| ·网格定义 | 第27-28页 |
| ·网格信息处理原理 | 第28-29页 |
| ·交替式下推自动机与网格计算 | 第29-32页 |
| 4 预备知识 | 第32-36页 |
| ·交替式下推自动机 | 第32-34页 |
| ·定义和符号表示 | 第34-36页 |
| 5 多墨水点两方向交替式下推自动机的研究 | 第36-42页 |
| ·定理5.1 | 第36-40页 |
| ·小结 | 第40-42页 |
| 6 1 墨水点两方向交替式下推自动机的研究 | 第42-56页 |
| ·有无1 墨水点的交替式下推自动机之间的关系 | 第42-45页 |
| ·预备知识 | 第42-43页 |
| ·1 墨水点的能力 | 第43-45页 |
| ·自动机的闭包属性的研究现状 | 第45-47页 |
| ·1 墨水点两方向交替式下推自动机的闭包属性 | 第47-56页 |
| ·引理6.3.1 | 第47-51页 |
| ·定理6.3.2 | 第51-52页 |
| ·定理6.3.3 | 第52-54页 |
| ·定理6.3.4 | 第54-56页 |
| 7 结论与展望 | 第56-57页 |
| 参考文献 | 第57-59页 |
| 致谢 | 第59-60页 |
| 硕士期间发表的论文情况 | 第60页 |
