code: public static <S, I, T> void write(Automaton<S, I, T> automaton,
                                         Collection<? extends I> inputAlphabet,
                                         Appendable a) throws IOException {
          write(automaton.transitionGraphView(inputAlphabet), a);
      }
docs: Renders an {@link Automaton} in the GraphVIZ DOT format.
  
  @param automaton
  the automaton to render.
  @param inputAlphabet
  the input alphabet to consider
  @param a
  the appendable to write to
  
  @throws IOException
  if writing to {@code a} fails