code: @SafeVarargs
      public static <S, I, T> void write(Automaton<S, I, T> automaton,
                                         Collection<? extends I> inputAlphabet,
                                         Appendable a,
                                         VisualizationHelper<S, ? super TransitionEdge<I, T>>... additionalHelpers)
              throws IOException {
          write(automaton, inputAlphabet, a, Arrays.asList(additionalHelpers));
      }
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
  @param additionalHelpers
  additional helpers for providing visualization properties.
  
  @throws IOException
  if writing to {@code a} fails