| 摘要 | 第1-3页 |
| Abstract | 第3-4页 |
| 中文文摘 | 第4-6页 |
| 绪论 | 第6-11页 |
| ·计算的非形式解释 | 第6页 |
| ·研究背景 | 第6-8页 |
| ·本文主要研究的问题及结论 | 第8-9页 |
| ·本文的组织结构 | 第9-11页 |
| 第1章 预备知识 | 第11-18页 |
| ·线性代数基础 | 第11-13页 |
| ·复线性空间与酉空间 | 第11-12页 |
| ·矩阵及其基本运算 | 第12-13页 |
| ·量子力学基础 | 第13-15页 |
| ·计算机科学基础 | 第15-18页 |
| 第2章 测量多次的单向量子有限自动机的等价性 | 第18-30页 |
| ·MM-1QFAs简介 | 第18-20页 |
| ·两个MM-1QFAs等价当且仅当n_1~2+n_2~2-1-等价 | 第20-30页 |
| 第3章 多字符量子有限自动机等价性讨论 | 第30-38页 |
| ·Multi-letter QFAs简介 | 第30-31页 |
| ·字母表∑={σ}的情形,一个改进的上界 | 第31-36页 |
| ·字母表为满足2≤|∑|<∞的情形,一个存在性定理 | 第36-38页 |
| 第4章 结论 | 第38-39页 |
| 参考文献 | 第39-43页 |
| 攻读学位期间承担的科研任务与主要成果 | 第43-44页 |
| 致谢 | 第44-45页 |
| 个人简历 | 第45-46页 |