public string getAcceptIndex(DFAState State)
        {
            int AcceptIndex = State.getAcceptSymbolIndex();

            if (AcceptIndex == -1)
            {
                return(null);
            }
            return(SymbolTable[AcceptIndex].getSymbolName());
        }
        public string getAcceptCode(DFAState State)
        {
            int AcceptIndex = State.getAcceptSymbolIndex();

            return(AcceptIndex.ToString());
        }