/// <summary>
/// Initializes this transition
/// </summary>
/// <param name="label">The label on this transition</param>
/// <param name="target">The target of this transition</param>
public LRTransition(Symbol label, LRState target)
{
this.label = label;
this.target = target;
}
/// <summary>
/// Adds the specified state to this automaton
/// </summary>
/// <param name="state">A state</param>
public void AddState(LRState state)
{
states.Add(state);
}