已归档 —— 尽管本笔记目前还有未完成的部分，但它不太可能在未来有更多更新了。 由于《编译原理》的开课，可能会继续更新。
这是一份哈尔滨工业大学（深圳）《形式语言与自动机》课程的考前预习提纲。
本课程比较抽象，因此本预习提纲主要是尝试用自己的话「复述」一遍课程讲义，即校本部 王春宇 老师编写的《形式语言与自动机课程讲义》。
此课程为考察课，分数构成为 30% / 70%。
语言、文法和自动机
有穷自动机
正则语言与正则表达式
上下文无关文法与语言
下推自动机
图灵机