Currently, the editing space is limited, but will be expanded in a later update. Dfa maker further comes with its own file system that uses JSON as a way of storing deterministic finite automatons.

The main UI of the DFA editor is a non-resizable screen (as of now), with a very simple structure that is intuitive to use.

DFEdit features an error window, which indicates whether the DFA is deterministic and if something fails within the application:

Another core feature of DFEdit is string validation. This can only be used after the current DFA has passed a sanity check and has been verified to be finite. To enter a string, the user may press on the right tab and write out the string as is, followed by enter to validate.

Correct string screen:

Incorrect string screen:

DFEdit also features a simple JSON file system. Currently, it can only save one DFA at a time (work in progress), but this will be changed in the near future to support multiple files and an elaborate file select system.

Known current issues:

• Saving causes the problem to lag for a very long time/crash
• Issues with selecting and de-selecting states