词法分析与正则文法（二）

集合的运算

设L和D都是某些字符串的集合，定义

$L\cup D$为两个集合的并。
$LD$为两个集合的连接，即$LD=\{\alpha\beta: \alpha \in L, \beta\in D\}$。
$L^k$为两集合L的k次自连接。例如$L^3=LLL=(LL)L$。特别地，记$L^0=\{\epsilon\}$，其中$\epsilon$为我们常提到的空串。
$L^*=\bigcup_{k=0}^{\infty}L^k$为L的所有有限次自连接的并。

正则表达式的定义

设$\Sigma$是一个非空字符集。那么在该字符集上满足下面条件的表达式，成为正则表达式。

空表达式是正则表达式，它对应的语言为$\{\epsilon\}$。
任意的$a\in\Sigma$有a为正则表达式，它对应的语言为