编译原理

先修要求

• 离散数学、数据结构和系统编程。
• 熟悉至少一门强类型或脚本语言。
• 能阅读递归算法和基本形式语言材料。

学习目标

• 实现词法分析、语法分析和语义检查。
• 设计中间表示并完成基本优化。
• 生成可执行或可解释的目标代码。
• 理解类型、作用域、控制流和数据流。
• 把编译技术应用到静态检查和安全工具。

教学组织

• 每周 2 次课堂：一次讲授核心概念，一次用于实验、论文讨论或项目评审。
• 课程按 16 周推进，每周都有可检查的作业、实验或项目里程碑。
• 强调可复现材料：代码、配置、数据、实验日志和报告需要能被助教或同学复查。

周计划

考核方式

课程项目

学生分阶段实现一个小型编译器，并在最后加入一个自选扩展，例如类型特性、优化、解释器、错误诊断或安全 lint。

课程政策

• 允许使用 AI 工具，但所有生成代码、实验记录和设计建议必须经过学生本人审查，并在报告中说明使用方式。
• 严禁提交不能解释的代码、证明、配置或实验结果；答辩时每名成员都需要解释自己负责部分的设计、测试和取舍。
• 迟交会影响迭代评分，但课程更看重可复现、可审计和可维护的结果，而不是临时堆砌。