makeCharRange
Returns a new (deterministic) automaton that accepts a single codepoint whose value is in the given interval (including both end points).
Returns a new (deterministic) automaton that accepts a single codepoint whose value is in the given interval (including both end points).