| 中文摘要 | 第1-4页 |
| 英文摘要 | 第4-5页 |
| 第一章 问题描述 | 第5-19页 |
| 1．1 ω-有穷自动机理论综述 | 第5-11页 |
| 1．2 时间自动机理论综述 | 第11-18页 |
| 1．3 问题描述 | 第18-19页 |
| 第二章 时间自动机新的识别模型 | 第19-30页 |
| 2．1 时间语言和时间转换表 | 第19-22页 |
| 2．2 时间自动机及其识别条件 | 第22-24页 |
| 2．3 时间自动机在CI，┓CI（I=1，…6）下的识别模型 | 第24-30页 |
| 第三章 长跨度区域自动机 | 第30-44页 |
| 3．1 经典区域自动机的定义及构造 | 第30-38页 |
| 3．2 长跨度区域自动机 | 第38-44页 |
| 第四章 总结与展望 | 第44-45页 |
| 致谢 | 第45-46页 |
| 参考文献 | 第46-47页 |