DFA Minimization

Adding States:

Type in new label input the name of the state e.g: S1 then hold Ctrl and double click anywhere on the canvas to add that state.

Adding Edges:

Type in new label input the name of the input e.g: 0, hold Ctrl double click on the source state, then double click on the target state.

Making a State Final:

Hold Alt key and double click the state that you want to make final

Deleting a State:

Hold Ctrlkey and right click the state that you want to delete