歸納：定義正規表示式的運算和正則集的運算的對映關係：
a+b =>
∪\ \cup \
∪ ab => 的元素和的元素分別連線
現在有正規表示式w1，w2，根據基礎，分別有map(w1)=集合t1，map(w2)=集合t2。
對w1和w2進行有限次運算，即operation(w1, w2)，根據歸納，有map(operation) = operation』，故operation(w1, w2) = operation』(t1, t2) = t3給定了基礎的正規表示式，就可以通過map規則得到對映後的基礎的正則集；通過正規表示式的運算，得到新的正規表示式，通過map規則對映運算，就可以得到正則集的運算，從而得到新的正規表示式對應的新的正則集。
故，只有在前提：
通過歸納得到的式子才是正規表示式和正則集。
上述的基礎和歸納就是map的詳細規定。
同乙個正規表示式一定可以得到唯一的正則集，同乙個正則集可能對應不同的正規表示式。
正規表示式集
驗證數字 0 9 驗證n位的數字 d 驗證至少n位數字 d 驗證m n位的數字 d 驗證零和非零開頭的數字 0 1 9 0 9 驗證有兩位小數的正實數 0 9 0 9 驗證有1 3位小數的正實數 0 9 0 9 驗證非零的正整數 1 9 0 9 驗證非零的負整數 1 9 0 9 驗證非負整數 正整數...
正則驗證 正規表示式集
驗證數字 0 9 驗證n位的數字 d 驗證至少n位數字 d 驗證m n位的數字 d 驗證零和非零開頭的數字 0 1 9 0 9 驗證有兩位小數的正實數 0 9 0 9 驗證有1 3位小數的正實數 0 9 0 9 驗證非零的正整數 1 9 0 9 驗證非零的負整數 1 9 0 9 驗證非負整數 正整數...
正規表示式 正規表示式 總結
非負整數 d 正整數 0 9 1 9 0 9 非正整數 d 0 負整數 0 9 1 9 0 9 整數 d 非負浮點數 d d 正浮點數 0 9 0 9 1 9 0 9 0 9 1 9 0 9 0 9 0 9 1 9 0 9 非正浮點數 d d 0 0 負浮點數 正浮點數正則式 英文本串 a za z...