text: public String toString() {StringBuilder b = new StringBuilder();b.append("initial state: 0\n");for (int i = 0; i < size; i++) {b.append("state ").append(i);if (accept.get(i)) b.append(" [accept]:\n");else b.append(" [reject]:\n");for (int j = 0; j < points.length; j++) {int k = transitions[i * points.length + j];if (k != -1) {int min = points[j];int max;if (j + 1 < points.length) max = (points[j + 1] - 1);else max = alphabetSize;b.append(" ");Automaton.appendCharString(min, b);if (min != max) {b.append("-");Automaton.appendCharString(max, b);}b.append(" -> ").append(k).append("\n");}}}return b.toString();}