backtojuan / AutomatonProgram

Interactive application for finding connected and minimum automaton given an automaton.