Regular with negative numbers

[jgFages]

Seems to be a problem

[cprudhom]

The regular expression "<-9>1*" is not accepted since "-9" does not correspond to any Character. Recall that Character .MIN_VALUE= '\u0000' (0) and Character .MAX_VALUE= '\uFFFF' (65535).
We certainly should forbid values not in that range.

[cprudhom]

There are other troubles with FiniteAutomaton: ".*" or "[^12]" took ages to retrieve the alphabet.