public SSA <SYMBOL> BackwardStateLanguage(int state)
{
if (!States.Contains(state))
{
throw SSAException.StateNotInStates();
}
return(new SSA <SYMBOL>(InitialState, new int[] { state }, Moves, Alphabet, null, StateNames));
}
public SSA <SYMBOL> ForwardStateLanguage(int state)
{
if (!States.Contains(state))
{
throw SSAException.StateNotInStates();
}
return(new SSA <SYMBOL>(state, FinalStates, Moves, Alphabet, null, StateNames));
}
