1. 正则语言上的三种运算并、连接和星号。并是两个正则语言的字符串集合取并集，连接类似于笛卡尔积，星号是一元运算符，表示一个语言和自己的多次笛卡尔积。
2. 正则语言在并运算、连接运算、星号运算下封闭。也就是正则语言进行运算后，产生的新语言仍可以被某一个自动机接受。
3. 每个NFA都有等价的DFA
4. 正则语言等价于正则表达式能表达的语言
5. 如何由DFA借助GNFA构造等价的正则表达式，主要就是状态合并
6. 正则语言判定的泵引理：若 L 是正则语言，则存在一常数 n > 0 ，对于语言 L 中每个满足|w| ≥ n的字符串w，存在一组x,y,z使得，w=xyz且：
- 1.|xy| ≤ n
- 2.|y| ≥ 1
- 3.对所有的 k ≥ 0 ，字串 属于 L 。
