一、對於給定的字母表∑
(1)ε和∅是∑上的正規式,它們的正規集為{ε}和∅
(2)任何a∈∑,a是∑上的正規式,它所表示的正規集為{a}
(3)假定e1和e2都是∑上的正規式,則
①(e1|e2)為正規式,它所表示的正規集為L(e1)∪L(e2)
②(e1·e2)為正規式,它所表示的正規集為L(e1)L(e2)
③(e1)*為正規式,它所表示的正規集為(L(e1))*
二、若兩個正規式所表示的正規集相同則稱這兩個正規式等價。
證明e1=e2:
∵L(e1)=L(e2)
∴e1=e2
即證明L(e1)=L(e2)