public String ToLexerString() { if (s0 == null) return ""; DFASerializer serializer = new LexerDFASerializer(this); return serializer.ToString(); }