Returns the state obtained by reading the given char from the given state. Returns -1 if not obtaining any such state.
the next state, -1 if no such transaction
the last state
the input codepoint