| 引言 | 第1-30页 |
| 第一章 布尔代数 | 第30-67页 |
| 第一节 表示定理 | 第30-38页 |
| 第二节 布尔函数 | 第38-44页 |
| 第三节 布尔方程 | 第44-54页 |
| 第四节 布尔矩阵 | 第54-67页 |
| 第二章 布尔代数上的不动点方程组 | 第67-85页 |
| 第一节 不动点方程组的再生通解 | 第67-70页 |
| 第二节 列直交不动点方程组的直交解和正交解 | 第70-76页 |
| 第三节 列直交不动点方程组的正交参数解，正交通解，正交再生通解 | 第76-85页 |
| 第三章 有限布尔代数上的自动机 | 第85-106页 |
| 第一节 下向树 | 第85-101页 |
| 第二节 特殊空间中的内动机图型 | 第101-106页 |
| 第四章 有限布尔环上的自动机 | 第106-113页 |
| 总结与展望 | 第113-114页 |
| 参考文献 | 第114-117页 |
| 致谢 | 第117页 |