这是台湾清华赵启超教授离散数学9A9B课程的笔记。
参考书目：Peter Linz, An Introduction to Formal Languages and Automata (6th Editon) 2016