| 摘要 | 第1-4页 |
| Abstract | 第4-6页 |
| 目录 | 第6-7页 |
| 前言 | 第7-10页 |
| 第1章 预备知识 | 第10-14页 |
| ·格的概念和基本性质 | 第10-12页 |
| ·Buchi-Elgot定理 | 第12-14页 |
| 第2章 格值有穷自动机和单体二阶逻辑 | 第14-23页 |
| ·格值自动机识别语言的有关逻辑性质 | 第14-16页 |
| ·基于格值逻辑下的Buchi-Elgot定理 | 第16-20页 |
| ·格值逻辑意义下的Schutzenberger定理 | 第20-23页 |
| 第3章 Pebble格值有穷自动机和闭包逻辑 | 第23-32页 |
| ·闭包逻辑和格值有穷自动机 | 第23-24页 |
| ·格值nested自动机 | 第24-27页 |
| ·pebble格值自动机 | 第27-32页 |
| 结论 | 第32-34页 |
| 参考文献 | 第34-37页 |
| 致谢 | 第37-39页 |
| 攻读硕士学位期间的研究成果 | 第39页 |