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();}

public override string ToString(){var b = new StringBuilder();b.Append("initial state: ").Append(m_initial).Append("\n");for (int i = 0; i < _size; i++){b.Append("state " + i);if (m_accept[i]){b.Append(" [accept]:\n");}else{b.Append(" [reject]:\n");}for (int j = 0; j < _points.Length; j++){int k = m_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 = _maxInterval;}b.Append(" ");Transition.AppendCharString(min, b);if (min != max){b.Append("-");Transition.AppendCharString(max, b);}b.Append(" -> ").Append(k).Append("\n");}}}return b.ToString();}
