编译原理--正则定义

正则定义是具有如下形式的定义序列：

$$d_1\to r_1$$

$$d_2\to r_2$$

$$...$$

$$d_n\to r_n$$

其中：

• 每个$d_i$都是一个新符号，它们都不在字母表$\sum$中，而且各不相同
• 每个$r_i$是字母表∑∪{d1,d)2,...,di−1}\sum \cup \{d_1, d)2,...,d_{i-1}\}∑∪{d1​,d)2,...,di−1​}上的正则表达式

也就是给一些RE命名，并在之后的RE中像使用字母表中的符号一样使用这些名字。