NFA to DFA conversion using ranges instead of single characters