/* Reads a letter or a word, and change state accordingly. */
public void Read(int letter)
{
state = definition.Transition(state, letter);
}
/* Transition matrix. */
public int TransitionById(int stateId, int letterId)
{
return(definitionById.Transition(stateId, letterId));
}