Unicode parsing has gone wrong in the code.
In think here
src/nfa/transitionlabel/TransitionLabelParserRecursive.java
parseEscapedUnicodeCharacter()
{
consumeSymbol();
StringBuilder hexNumberStr = new StringBuilder();
hexNumberStr.append(currentSymbol);
for (int i = 0; i < 4; i++) {
consumeSymbol();
hexNumberStr.append(currentSymbol);
}
}
You should consume 4 symbols to hexNumberStr but you used 5 symbols which led to out of MAX_16UNICODE range
For the input \uFDCF it was skipped.
Unicode parsing has gone wrong in the code. In think here src/nfa/transitionlabel/TransitionLabelParserRecursive.java parseEscapedUnicodeCharacter() { consumeSymbol(); StringBuilder hexNumberStr = new StringBuilder();
} You should consume 4 symbols to hexNumberStr but you used 5 symbols which led to out of MAX_16UNICODE range