正则运算

定义 $A$ 与 $B$ 是两个 语言, 定义正则运算

• 并 $A\cup B=\{x|x\in A\vee x\in B\}$;

• 连接 $A°B=\{xy|x\in A\wedge y\in B\}$;

• 星号 $A^{\ast }=\{x_1{x}_2...x_k|k\ge 0\wedge \forall x_i\in A\}$.

• 正则语言的并是正则语言.

• 正则语言的交是正则语言.

• 正则语言对所有正则运算封闭.