自动机的代数表示和形式语言的研究
| 摘要 | 第4-6页 |
| ABSTRACT | 第6-7页 |
| 第一章 绪论 | 第10-21页 |
| §1.1 自动机和形式语言的研究背景和现状 | 第10-14页 |
| §1.2 预备知识 | 第14-18页 |
| §1.3 本文的主要工作 | 第18-21页 |
| 第二章 幺半群-矩阵型自动机 | 第21-46页 |
| §2.1 正则(n,S)-自动机 | 第21-26页 |
| §2.2 正则系统的等价性 | 第26-29页 |
| §2.3 正则(n,Y)-自动机 | 第29-35页 |
| §2.4 正则(n,C)-自动机 | 第35-39页 |
| §2.5 特征幺半群和自同态幺半群 | 第39-44页 |
| §2.6 商自动机 | 第44-46页 |
| 第三章 广义正规自动机和广义标准自动机 | 第46-59页 |
| §3.1 本原自动机 | 第46-48页 |
| §3.2 广义正规自动机 | 第48-53页 |
| §3.3 广义标准自动机 | 第53-59页 |
| 第四章 与二元关系有关的形式语言 | 第59-78页 |
| §4.1 引言 | 第59-63页 |
| §4.2 组合性质 | 第63-67页 |
| §4.3 代数刻画 | 第67-71页 |
| §4.4 确定性问题 | 第71-75页 |
| §4.5 字问题 | 第75-78页 |
| 第五章 权重自动机和形式幂级数 | 第78-88页 |
| §5.1 引言 | 第78-81页 |
| §5.2 同态定理 | 第81-84页 |
| §5.3 极小自动机 | 第84-88页 |
| 总结与展望 | 第88-91页 |
| 参考文献 | 第91-102页 |
| 攻读博士学位期间取得的研究成果 | 第102-103页 |
| 致谢 | 第103-104页 |
| 作者简介 | 第104页 |
