internal void AddGoto(Symbol s, AutomatonState next)
{
this.Goto[s] = next;
Terminal term;
if ((term = s as Terminal) != null)
terminalTransitions.Add(term);
else
{
NonTerminal nonTerm = (NonTerminal)s;
nonTerminalTransitions.Add(nonTerm, new Transition(nonTerm, next));
}
}