The Grammar Module
Users can call the grammar module by clicking on the gram button of the working session menu) for two purposes:
- to see the grammar generating the language recognized by the automaton actually loaded in the main window;
- to edit directly a grammar.
The Grammar Box shows two main areas on the right side: the Grammar area and the Create Aut area.
In the Grammar area we find buttons:
New
- allows users to write a new grammar, as we describe in the Editing a Grammar subsection;
Save
- allows users to save the grammar actually loaded on the window;
Load
- allows users to load a grammar on the window;
Simplify
- simplifies the grammar actually loaded on the window;
Word Derive
- sets the mode in which user can start the process of deriving a word by selecting interactively among rules; it also allows to write the input string on the tape.
In the Create Aut area we find buttons:
Step
- performes the creation of the automaton recognizing the language generated by the actually loaded grammar step by step;
Fast
- performes the creation of the automaton recognizing the language generated by the actually loaded grammar quickly;
In the main area on the left side of the Grammar Box there is a
visualization area that will display the current grammar rules.
finally we have Close, Add and Delete.
Close
allows users to close the grammar box;
Add
allows users to add a new production rule to a grammar, as we describe in the Editing a Grammar subsection;
Delete
allows users to delete a production rule from the grammar actually loaded; users must select a rule, clicking on it, before executing this command.
Back to Index