GrammarWindow
The grammar window gives a tabular summary of an IRTG. Each row gives a grammar rule. The first column gives the state for which a rules applies. The third column gives the label that the rule introduces, followed by the the child states in brackets if there are any. After that the fourth column gives the real weight of the rule. All the following columns give the different interpretations of the label that is used in the rule.
The file dialogue offers all the options that are present in the main GUI window. In addition it is possible to save the tree automaton the IRTG is based on or the whole IRTG via the file dialogue. When saving a tree automaton, we recommend using the file extension '.auto' so the tool will recognize the format. When saving the IRTG for later use, we recommend using the file extension '.irtg'.
The tools dialogue option 'Show Language' brings up the Language Window for the the IRTG. The 'Parse' option brings up the following window:
In this window you can type in inputs for which the IRTG has an interpretation. Type in the inputs desired and ALTO will attempt to find a rule tree from the underlying tree automaton that is mapped by the interpretations to the specified inputs. The tool then opens a Tree Automaton Window. Where the given tree automaton generates all the rule trees that fit the requirements.
You can also use the binarization algorithm from Büchse et. al. 2013 in order to binarize your IRTG rule by rule. After choosing the ``Binarize'' option from the tools dialogue a window for selecting some important tools for the process will open, which looks like this:
here you can choose, for each interpretation in your current grammar, the algebra used by the binary version of your grammar and the seed used to generate binary versions of your rules. The program will then open a new grammar window for a new IRTG that has as many binary rules as possible.