下推自动机的半环方法
中文摘要 | 第1-4页 |
ABSTRACT | 第4-8页 |
第一章 引言 | 第8-14页 |
·选题背景和国内外研究现状 | 第8-12页 |
·下推自动机理论 | 第8-11页 |
·国内外研究现状 | 第11-12页 |
·本文的主要研究内容 | 第12页 |
·研究下推自动机半环方法的目的和意义 | 第12页 |
·本论文的组织结构如下 | 第12-14页 |
第二章 形式幂级数和矩阵半环 | 第14-34页 |
·半环理论 | 第14-18页 |
·幺半群 | 第14页 |
·半环 | 第14-18页 |
·形式幂级数半环 | 第18-21页 |
·形式幂级数 | 第18页 |
·半环向形式幂级数半环的转换 | 第18-20页 |
·形式幂级数序列 | 第20-21页 |
·矩阵 | 第21-34页 |
·矩阵的概念 | 第21-23页 |
·半环向矩阵半环的转换 | 第23-24页 |
·矩阵半环的收敛 | 第24-25页 |
·矩阵半环上半模的相容性 | 第25-26页 |
·矩阵的分块 | 第26-27页 |
·布尔形式幂级数矩阵半环 | 第27-31页 |
·半环等式及定理向矩阵半环的推广 | 第31-34页 |
第三章 下推自动机的半环方法 | 第34-52页 |
·语言半环 | 第34-35页 |
·语言半环和布尔形式幂级数半环的关系 | 第35-36页 |
·下推自动机的半环方法 | 第36-52页 |
·幂级数半环到幂级数矩阵半环的转换 | 第36-42页 |
·下推自动机的半环表示 | 第42-48页 |
·布尔矩阵形式幂级数自动机和线性系统的联系 | 第48-52页 |
第四章 总结和展望 | 第52-53页 |
参考文献 | 第53-56页 |
发表文章目录 | 第56-57页 |
致谢 | 第57-58页 |