package rationals.converters ; import rationals.Automaton; public interface ToString { public String toString(Automaton a) ; }