Implement binary search for looking up transitions by character, add method to lookup by destination state.