摘要：對(duì)于而言，終結(jié)符與的是對(duì)應(yīng)的。這些內(nèi)容，我將其稱之為終結(jié)符的值。對(duì)于一個(gè)非終結(jié)符的產(chǎn)生式對(duì)于非終結(jié)符，其對(duì)象的字段則會(huì)表現(xiàn)成如下形式。對(duì)于里面的數(shù)組，其元素可能為終結(jié)符對(duì)象非終結(jié)符對(duì)象或表達(dá)式枚舉對(duì)象。

首先是 TerminalSymbol.java 即終結(jié)符。

package com.taozeyu.taolan.analysis;

import java.util.HashSet;

import com.taozeyu.taolan.analysis.Token.Type;

public class TerminalSymbol {

    @SuppressWarnings("serial")
    private final static HashSet careValueTypeSet = new HashSet() {{
        add(Type.Keyword);
        add(Type.Sign);
    }};

    static final TerminalSymbol Empty = new TerminalSymbol(null, null);

    public final Type type;
    public final String value;
    final boolean careValue;
    
    TerminalSymbol(Type type, String value) {
        this.type = type;
        this.value = value;
        this.careValue = careValueTypeSet.contains(type);
    }
    
    boolean isEmpty() {
        return this.type == null;
    }
    
    @Override
    public boolean equals(Object obj) {
        boolean isEquals = false;
        if(obj instanceof TerminalSymbol) {
            TerminalSymbol other = (TerminalSymbol) obj;
            isEquals = isEquals(this.type, other.type);
            if(isEquals & careValue) {
                isEquals = isEquals(this.value, other.value);
            }
        }
        return isEquals;
    }
    
    private boolean isEquals(Object o1, Object o2) {
        boolean isEquals = false;
        if(o1 == null & o2 == null) {
            isEquals = true;
        } else if(o1 != null & o2 != null) {
            isEquals = o1.equals(o2);
        }
        return isEquals;
    }
    
    @Override
    public int hashCode() {
        int hashCode = getHashCode(this.type);
        if(careValue) {
            hashCode ^= getHashCode(this.value);
        }
        return hashCode;
    }
    
    private int getHashCode(Object obj) {
        int hashCode = 0;
        if(obj != null) {
            hashCode = obj.hashCode();
        }
        return hashCode;
    }

    @Override
    public String toString() {
        String str;
        if(this.value != null) {
            str = " “" + this.value + "”";
        } else {
            if(this.type != null) {
                str = this.type.toString();
            } else {
                str = "ε";
            }
        }
        return str;
    }
}

對(duì)于 Parser 而言，終結(jié)符 Terminal Symbol 與 Tokenizer 的 Token 是對(duì)應(yīng)的。特別的，對(duì)于以上代碼：

import com.taozeyu.taolan.analysis.Token.Type;

這里非終結(jié)符的類型（Type）我就直接用了 Token.java 中定義的內(nèi)部枚舉類啦。

特別的，

@SuppressWarnings("serial")
private final static HashSet careValueTypeSet = new HashSet() {{
    add(Type.Keyword);
    add(Type.Sign);
}};

這里將 Keyword、Sign 這兩種類型歸于 careValueType。這是什么意思呢？容我稍微說明一下。

對(duì)于 Parser 中的終結(jié)符，即便它無法繼續(xù)展開，但該終結(jié)符也并非就只能表示唯一的內(nèi)容。例如，對(duì)于一個(gè)終結(jié)符，已知它是 Identifier，那么它實(shí)際上對(duì)應(yīng)的字符串可能是 "hello_world" 或者 "accountBuilder" 之類的。這些內(nèi)容，我將其稱之為終結(jié)符的值 value。

顯然，Parser 分析語法樹的時(shí)候根本就不關(guān)心 Identifier 的值是什么，因?yàn)?Tokenizer 的工作就是將 Token 提取出來并識(shí)別其類型，以便讓 Parser 無需關(guān)心瑣碎的內(nèi)容。

因此，我們就知道了，每一個(gè)終結(jié)符都對(duì)應(yīng)一類 Token。

但是，對(duì)于 Keyword 和 Sign 而言，它的值卻影響 Parser 分析語法樹。例如 Sign 的值取 “+” 還是 “*” 會(huì)讓生成的語法樹完全不一樣。

換句話說，在定義終結(jié)符的時(shí)候，我應(yīng)該為每一個(gè) Sign 多帶帶歸于一個(gè)類型，而不是將它們統(tǒng)稱為一個(gè)類型。同樣的道理適用于 Keyword 類型。

但是，就我個(gè)人而言，將 Keyword 和 Sign 拆分成多個(gè)類型未免有些繁瑣，而且不好維護(hù)。于是我在這里做了一點(diǎn)取巧，將終結(jié)符分為 careValueType 型和非 careValueType 型。前者（目前有且僅有 Keyword、Sign） Parser 在識(shí)別它們的時(shí)候，不僅要考慮它們的 type，還要考慮它們的 value。而后者， Parser 僅考慮它們的 type，而 value 會(huì)被忽視。

具體請(qǐng)參考前面代碼中的如下函數(shù)：

equals

hashCode

最后，我定義了一個(gè)特殊的非終結(jié)符：

static final TerminalSymbol Empty = new TerminalSymbol(null, null);

用來描述 ε。但是這個(gè)符號(hào)僅僅用于 Parser 初始化階段，在 Parser 編譯源代碼的時(shí)候這個(gè)符號(hào)是用不上的。

然后是 NonTerminalSymbol.java 即非終結(jié)符。

package com.taozeyu.taolan.analysis;

import java.util.ArrayList;
import java.util.HashSet;

class NonTerminalSymbol {

    static enum Exp {
        //TODO 
    }
    
    final Exp exp;
    Character sign = null;
    
    final ArrayList expansionList = new ArrayList<>();
    final ArrayList banList = new ArrayList<>();
    
    final ArrayList> firstSetList = new ArrayList<>();
    final HashSet firstSet = new HashSet<>();

    NonTerminalSymbol(Exp exp) {
        this.exp = exp;
    }
    
    NonTerminalSymbol ban(TerminalSymbol...args) {
        for(TerminalSymbol node:args) {
            banList.add(node);
        }
        return this;
    }
    
    NonTerminalSymbol or(Object...args) {
        expansionList.add(args);
        return this;
    }
    
    NonTerminalSymbol sign(char sign) {
        this.sign = sign;
        return this;
    }

    @Override
    public String toString() {
        String str = String.valueOf(exp);
        if(sign != null) {
            str += "(" + sign + ")";
        }
        return str;
    }
}

這個(gè)類實(shí)際上更多的是用來描述非終結(jié)符的產(chǎn)生式的。

對(duì)于一個(gè)非終結(jié)符的產(chǎn)生式：

A → abc | de | fg

對(duì)于非終結(jié)符 A，其對(duì)象的 expansionList 字段則會(huì)表現(xiàn)成如下形式。

對(duì)于里面的 Object 數(shù)組，其元素可能為 終結(jié)符對(duì)象（TerminalSymbol）、非終結(jié)符對(duì)象（NonTerminalSymbol）、或表達(dá)式枚舉對(duì)象（Exp）。

expansionList  = new ArrayList<>() {{

    add(new Object[] { a, b, c});
    add(new Object[] { d, e});
    add(new Object[] { f, g});
}};

其中表達(dá)式枚舉對(duì)象，就是代碼中 //TODO 要填寫的部分。