---

前言

前置知识：布尔逻辑基础，编译原理前半部分。

---

阅读指引图

其中：

• 箭头表示一组前置知识的关系。在阅读一篇文章前，推荐您先阅读其所有前置文章。

• 虚线箭头表示一组建议的前置关系，是可选的，您可以选择忽略此类提示。

• 淡粉色方块表示来自其他知识板块的文章，因为它们是本板块内某些文章的前置知识，所以被专门标示出来。

---

参考资料

IIT - CS 536: Science of Programming (opens new window)

NJU - Formal Semantics of Programming Languages (opens new window)

---