MENU : OPTIONS : Convert to DFA ermöglicht eine Konversion eines nichtdeterministischen endlichen Automaten (NFA) in einen gleichwertigen deterministischen endlichen Automaten (DFA). Ein neues Fenster wird eröffnet, man kann nun beginnen, den neuen DFA zu bauen.

Das Solve-Menu ist jetzt aktiv:
MENU : SOLVE : Check if done teilt mit, ob der DFA korrekt ist oder zeigt gegebenenfalls den ersten Fehler.
MENU : SOLVE : Show zeigt automatisch den fertigen DFA an.
MENU : SOLVE : Expand a state zeigt alle Transitions, die von dem gewählten State ausgehen.

Beschriftungen
Jeder State hat eine Namensbeschiftung. Der Name ist die Liste der Nummern der entsprechenden States, durch Kommas getrennt, die Liste kann auch bearbeitet werden. Beschriftungen können auch versteckt werden, wenn sie zuviel Platz wegnehmen, indem man MENU : OPTIONS : Show Name Labelsausschaltet.