正則表示式

• 對給定的字符集$\Sigma = C_1,C_2,...,C_n$
• 空串$\epsilon$是正則表示式
• 對於任意$c\in\Sigma$，$c$是正則表示式
• 如果M和N是正則表示式，則以下也是正則表示式：
  • 選擇： M | N = {M, N}
  • 連線： MN = {mn | m ∈ M, n ∈ N}
  • 閉包： M* = {ε, M, MM, MMM, …} (Kleene 閉包)

C語言中有很多關鍵字，例如 if, while 等： 對於if，$i\in\Sigma$，$f\in\Sigma$

C語言中的識別符號，是以字母和下劃線開頭，後跟零個或者多個字母、數字或下劃線。其用正則表示式表達的方式如下：(a|b|…|z|A|B|…|Z|_)(a|b|…|z|A|B|…|Z|_|0|1|…|9)*。因為這裡的後面部分是可以為零的，也就是任意個，所以直接使用閉包即可。