《算法》筆記 16 - 正則表達式

• 使用正則表達式描述模式
• 非肯定有限狀態自動機NFA
• 模擬NFA的運行
  • NFA的表示
  • 構造與正則表達式相對應的NFA
  • NFA的模擬與可達性

除了查找子字符串，在不少時候並不知道被查找模式的完整信息，這時就須要用到正則表達式了。正則表達式在子字符串查找、合法性校驗、網絡爬蟲等方面有着很是普遍的應用。

使用正則表達式描述模式

正則表達式對模式的描述，基於幾個基本操做。

• 鏈接操做，好比AB，表示由A和B鏈接而成的模式。
• 或操做，或操做能夠在模式中指定多種可能的匹配，用"|"表示。
• 閉包操做，閉包操做能夠把模式部分重複任意次數，用"*"表示。
• 括號，括號能夠改變默認優先級的順序。
• 在編程語言中使用的正則表達式還有不少其它語法，但都是基於這幾種基本操做的。

非肯定有限狀態自動機

如何根據正則表達式所描述的模式來匹配文本呢？子字符串查找中使用的有序狀態自動機DFA會根據文本中的字符改變自身的狀態，但正則表達式匹配比子字符串查找更復雜。由於或操做的存在，自動機沒法僅根據一個字符就判斷出模式是否出現；再加上閉包的存在，自動機甚至沒法知道須要檢查多少字符纔會匹配失敗。爲了克服這些困難，須要非肯定有限狀態自動機NFA。

根據Kleene定理，任意正則表達式都存在一個與之對應的非肯定有限狀態自動機，反之亦然。因此任意正則表達式均可以轉換爲一個非肯定有限狀態自動機，而後就能夠模式NFA的運行軌跡來進行匹配了。

正則表達式((A*B|AC)D)所對應的NFA以下圖：

NFA具備如下特色：

• 長度爲M的正則表達式中的每一個字符在所對應的NFA中都有且只有一個對應的狀態。NFA的起始狀態爲0並含有一個虛擬的接受狀態M；
• 字符表中的字符所對應的狀態都有一條從它指出的邊，這條邊指向模式中的下一個字符所對應的狀態（這種邊爲黑色）；
• 元字符"(" ")" "|" "*"所對應的狀態至少含有一條指出的邊（這種邊爲紅色），這些邊可能指向其它的任意狀態；
• 有些狀態有多條指出的邊，但一個狀態只能有一條指出的黑色邊。

這裏約定將全部的模式都包含在括號中，一次NFA中的第一個狀態和最後一個狀態都對應的是括號。

在檢查文本與模式是否匹配時，NFA須要不斷讀取文本，直到NFA變爲接受狀態，或到達文本末尾。因爲或操做和閉包操做的存在，NFA從一個狀態轉換到了一個狀態的規則與DFA有所不一樣，在NFA中有兩種轉換方式：

• 匹配轉換，即文本中的某個字符與模式中的一個字符相對應，此時NFA能夠掃過這個字符，並通過黑色的邊轉換到下一狀態；
• ε轉換，是指NFA經由紅色邊轉換到了一個狀態而不掃描文本中的任何字符。

好比在上圖的NFA中，由2->3, 1->6等都是ε轉換，ε轉換說明不少時候，NFA從一個狀態轉換到的下一個狀態是不肯定的，好比從狀態3便可以到狀態4，也能夠回到狀態2。正是因爲這種不肯定性的存在，NFA運行時，須要系統地嘗試過全部的可能性後，才能得知是否匹配成功。

模擬NFA的運行

使用NFA進行正則表達式匹配的過程與使用DFA進行子字符串查找的總體過程大體相同，也是先根據給定的正則表達式構造NFA，而後模擬NFA在給定文本上的運行軌跡。

NFA的表示

首先考慮的是該如何表示NFA。正則表達式自己已經給出了全部的狀態名，若是正則表達式的長度爲M，那麼0到M之間的整數就是全部的狀態名，因而用char數組re保存正則表達式的每一個字符，對於匹配轉換，若是re[i]存在於字母表中，那麼就存在一個從i到i+1的匹配轉換。
對於ε轉換，用有向圖表示，它們都是鏈接0到M之間各個頂點的有向邊。

構造與正則表達式相對應的NFA

在表示NFA的時候會使用一個char數組，一個有向圖，另外還有一個棧來記錄全部左括號和或操做符的位置。

• 鏈接操做
  鏈接操做的實現很容易，狀態的匹配以後和字母表中字符的對應關係就是鏈接操做的實現。

• 括號
  遇到正則表達式中的左括號時，將它的索引壓入棧中，在遇到右括號時，再從棧中彈出。

• 閉包操做
  閉包運算符'*'若是出如今單個字符以後，就在這個字符和'*'之間添加相互指向的兩條ε轉換；若是出如今右括號以後，就在對應的左括號和'*'之間添加相互指向的兩條ε轉換。

• 或操做
  遇到或操做也會添加兩條ε轉換，好比(A|B)，一條從左括號所對應的狀態指向或操做後面第一個字符B所對應的狀態，另外一條從或操做符的狀態指向右括號對於的狀態。將"|"運算符的索引壓入棧中，這樣在到達右括號時從棧的頂部就能夠拿到這個索引了。

public class Regular {
    private char[] re;
    private Digraph G;
    private int M;

    public Regular(String regexp) {
        Stack<Integer> ops = new Stack<Integer>();
        re = regexp.toCharArray();
        M = re.length;
        G = new Digraph(M + 1);

        for (int i = 0; i < M; i++) {
            int lp = i;
            if (re[i] == '(' || re[i] == '|')
                ops.push(i);
            else if (re[i] == ')') {
                int or = ops.pop();
                if (re[or] == '|') {
                    lp = ops.pop();
                    G.addEdge(lp, or + 1);
                    G.addEdge(or, i);
                } else
                    lp = or;
            }

            if (i < M - 1 && re[i + 1] == '*') {
                G.addEdge(lp, i + 1);
                G.addEdge(i + 1, lp);
            }

            if (re[i] == '(' || re[i] == '*' || re[i] == ')')
                G.addEdge(i, i + 1);
        }
    }
}

NFA的模擬與可達性

爲了模擬NFA的運行，會記錄NFA在檢查當前輸入字符時可能遇到的全部狀態的集合。這裏關鍵的計算是有向圖的多點可達性問題，用深度優先搜索實現。
首先利用有向圖查找全部從狀態0經過ε轉換可達的全部狀態，記入一個集合中，這個集合用Bag數據結構來表示。對於集合中的每一個狀態，檢查它是否能夠與第一個輸入的字符相匹配，若是匹配，在用這些匹配的狀態集合繼續在有向圖中進行查找，就獲得了NFA在匹配第一個字符後可達的全部狀態的集合。重複這個過程直到可達的狀態集合中含有接受狀態（匹配成功）或者文本結束（匹配失敗）。

public boolean recognize(String txt) {
    Bag<Integer> pc = new Bag<Integer>();
    DirectedDFS dfs = new DirectedDFS(G, 0);
    for (int v = 0; v < G.V(); v++) {
        if (dfs.marked(v))
            pc.add(v);
    }

    for (int i = 0; i < txt.length(); i++) {
        Bag<Integer> match = new Bag<Integer>();
        for (int v : pc)
            if (v < M)
                if (re[v] == txt.charAt(i) || re[v] == '.')
                    match.add(v + 1);
        pc = new Bag<Integer>();
        dfs = new DirectedDFS(G, match);
        for (int v = 0; v < G.V(); v++)
            if (dfs.marked(v))
                pc.add(v);
    }

    for (int v : pc)
        if (v == M)
            return true;
    return false;
}