计算理论导论笔记 本文为计算理论导论 (MIT18.404J, MIT OCW) 的课程笔记. 构建 typst compile --font-path fonts main.typ 许可协议 本文采用 CC BY-NC-SA 4.0 许可协议进行授权.