@uml
Compute a target state for an edge in the DFA, and attempt to add the
computed state and corresponding edge to the DFA.
@param input The input stream
@param s The current DFA state
@param t The next input symbol
@return The computed target DFA state for the given input symbol
{@code t}. If {@code t} does not lead to a valid DFA state, this method
returns {@link #ERROR}.
@uml Compute a target state for an edge in the DFA, and attempt to add the computed state and corresponding edge to the DFA.
@param input The input stream @param s The current DFA state @param t The next input symbol
@return The computed target DFA state for the given input symbol {@code t}. If {@code t} does not lead to a valid DFA state, this method returns {@link #ERROR}.