| 摘要 | 第1-5页 |
| Abstract | 第5-10页 |
| 前言 | 第10-16页 |
| 第1章 预备知识 | 第16-30页 |
| ·量子逻辑中的基本概念 | 第16-19页 |
| ·经典自动机理论中的相关知识 | 第19-26页 |
| ·L-值有穷自动机理论中的相关概念及结论 | 第26-30页 |
| 第2章 基于量子逻辑的下推自动机的代数刻画 | 第30-64页 |
| ·基于量子逻辑的下推自动机定义及其性质 | 第30-38页 |
| ·基于量子逻辑的上下文无关语言的代数刻画 | 第38-51页 |
| ·量子上下文无关文法及其范式文法 | 第51-56页 |
| ·LVPDA与LVCFG的等价性 | 第56-59页 |
| ·量子上下文无关语言对于正则运算的封闭性 | 第59-62页 |
| ·基于量子逻辑的上下文无关语言的泵引理 | 第62-64页 |
| 第3章 基于量子逻辑的Büchi自动机的代数刻画 | 第64-84页 |
| ·基于量子逻辑的Büchi自动机的定义及其性质 | 第64-72页 |
| ·基于量子逻辑的Büchi自动机的代数刻画 | 第72-79页 |
| ·几类基于量子逻辑的Büchi自动机间的关系 | 第79-81页 |
| ·基于量子逻辑的确定型Büchi自动机的代数刻画 | 第81-82页 |
| ·基于量子逻辑的Büchi自动机的等价刻画 | 第82-84页 |
| 第4章 基于量子逻辑的Müller自动机的代数刻画 | 第84-100页 |
| ·基于量子逻辑的Müller自动机的定义及其性质 | 第84-91页 |
| ·基于量子逻辑的Müller自动机的代数刻画 | 第91-94页 |
| ·L-值ω-正则语言关于正则运算的封闭性 | 第94-97页 |
| ·LVBA与LVMA的等价性 | 第97-100页 |
| 第5章 基于量子逻辑的Müller自动机的逻辑刻画 | 第100-112页 |
| ·单体二阶量子逻辑以及它可定义的语言 | 第100-102页 |
| ·基于量子逻辑的Müller自动机的单体二阶量子逻辑描述 | 第102-105页 |
| ·一阶量子逻辑以及它可定义的语言 | 第105-109页 |
| ·基于量子逻辑的Müller自动机的一阶量子逻辑描述 | 第109-112页 |
| 总结 | 第112-114页 |
| 参考文献 | 第114-122页 |
| 致谢 | 第122-124页 |
| 攻读博士学位期间的研究成果 | 第124页 |
