The FA Working Session Menu

It lists several items: step, fast, reset, detAut, minAut, bldGram, notes, options, and, when the editing mode is active, three icons resuming editing menu.

step

Allows users to simulate a recognizing process step by step; the input tape area of the main window must contain an input string; the editing area of the main window must contain a FA.

fast

Allows users to simulate a recognizing process fastly; the input tape area of the main window must contain an input string; the editing area of the main window must contain a FA.

reset

Allows users to reset the input tape, i. e. to put the input head on the first character of the input string contained in the input tape area of the main window, if any.

detAut

It checks if current automaton is a deterministic automaton (DFA). Otherwise the transformation algorithm is visualized step by step to compute the equivalent DFA.

minAut

If an automaton is a DFA and it is not minimum then it can be minimized, by clicking on this button. A new minimun automaton window is open and the minimization algorithm is visualized step by step.

bldGram

Allows users to compute the grammar generating the language recognized by the current automaton.

Lc

Allows users to compute the complementay automaton of the current one.

notes

Opens an editing window on wich users can write notes about the automaton actually on the editing area of the main window; it provides users this submenu commands: clear, cancel and save.

options

This button provides acces to an option window for the FA model.

users can set the simulation velocity, state diagram layout (horizontal or vertical), and minimal automaton colour (black and white or colours).

provides access to the commands of the Add option of the edit submenu;

provides access to to the commands of the Move option of the edit submenu;

provides access to to the commands of the Menu option of the edit submenu.

• The working session menu

Back to Index