/* 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)); }