编译原理 —— 正规式、正规集和正则定义

正规式的定义和运算定律

• 正规式和正则表达式都是通过一定的语法规则来描述文法，但不是同一个概念。
• 正规式是一种用来描述正则语言的更紧凑的表示方法
• 正规式可以由较小的正规式按照特定规则递归地构建。每个正规式r定义（表示）一个语言，记为L（r）。

注意，运算的优先级为：*、连接、|

---

正规集的定义

• 能用正规式或正规文法表示的集合称为正规集。

正规式	正规集
a	{a}
a|b	{a,b}
ab	{ab}
(a|b)*	{ε,a,b,aa,ab,ba,bb,aaa,……}

注意：{a,b}*的任一子集，不能也认为是一个正规集。

---

正则定义

• 为了方便起见，我们可以给某些正则表达式命名，然后像使用字母表中的符号一样使用这些名字来构造正规式，这就是正则定义。

---

参考地址

https://www.icourse163.org/learn/HIT-1002123007?tid=1003246005#/learn/announce