This button lets you change the names of the states as well as the input
symbols.
This button will allow you to set your initial state and final state(s).
Blue is your initial state, green is/are your final state(s), and yellow is both an initial and final state.
This button will allow you to set your transitions.
This button will check your transition table to see if it is ready to be
minimized.
This button will generate the transition table of the minimized DFA.
This button returns the transition table to the default configuration.