| 摘要 | 第1-4页 |
| Abstract | 第4-7页 |
| 前言 | 第7-9页 |
| 第1章 预备知识 | 第9-15页 |
| ·项和树 | 第9-10页 |
| ·格和格序半群 | 第10-12页 |
| ·树级数和格值树自动机 | 第12-15页 |
| 第2章 确定型格值树自动机的最小化 | 第15-29页 |
| ·确定型可识别树级数的同余关系 | 第15-16页 |
| ·确定型全接受格值树自动机的最小化 | 第16-19页 |
| ·确定型可识别树级数的特征 | 第19-21页 |
| ·全接受型格值树自动机的Myhill-Nerode定理 | 第21-23页 |
| ·Q上的Myhill-Nerode关系 | 第23-29页 |
| 第3章 格值树自动机的互模拟最小化 | 第29-39页 |
| ·基本概念 | 第29-30页 |
| ·格值树自动机的前向互模拟最小化 | 第30-34页 |
| ·格值树自动机的后向互模拟最小化 | 第34-39页 |
| 结论 | 第39-41页 |
| 参考文献 | 第41-45页 |
| 致谢 | 第45-47页 |
| 攻读硕士学位期间科研成果 | 第47页 |