public String toString(Vocabulary vocabulary) {
		if (s0 == null) {
			return "";
		}

		DFASerializer serializer = new DFASerializer(this, vocabulary);
		return serializer.toString();
	}
@deprecated Use {@link #toString(Vocabulary)} instead.
runtime/Java/src/org/antlr/v4/runtime/dfa/DFA.java