摘要 | 第3-4页 |
Abstract | 第4-5页 |
前言 | 第7-10页 |
第1章 预备知识 | 第10-17页 |
1.1 量子逻辑与树的相关概念 | 第10-12页 |
1.2 有穷树自动机及其可识别树语言的概念与结论 | 第12-14页 |
1.3 量子有穷自动机及其可识别语言的概念与性质 | 第14-17页 |
第2章 几类量子有穷树自动机间的关系 | 第17-32页 |
2.1 六类量子有穷树自动机的定义 | 第17-19页 |
2.2 以宽度优先与深度优先方式定义量子树语言及其关系 | 第19-23页 |
2.3 确定型量子有穷树自动机与非确定型量子有穷树自动机的等价性 | 第23-29页 |
2.4 l-VNFTA_∈与l-VSNFTA的等价性 | 第29-32页 |
第3章 量子正则树语言的相关性质 | 第32-41页 |
3.1 量子正则树语言的层次刻画 | 第32-33页 |
3.2 量子正则树语言的泵引理 | 第33-36页 |
3.3 量子正则树语言的Kleene定理 | 第36-41页 |
总结 | 第41-43页 |
参考文献 | 第43-47页 |
致谢 | 第47-49页 |
攻读硕士学位期间科研成果 | 第49页 |