TreeAutomatonWindow
This window gives a summary of a tree automaton. The rules of the automaton are written in a table with one rule per row. The first column gives the state for which a rule applies; final states are marked with an "!" at the end of their name. The third column gives the right hand side of the rule with a label and possibly some derived states in brackets. The last column gives the weight of the rule ([1.0] if no weight is defined). At the bottom of the window general information about the automaton will be shown.
The options that are offered in the file dialogue are similar to those for the main graphical user interface window, with the added option of saving the tree automaton shown in the current window to a file. Automata should be saved with the file extension ".auto" in order for the program to recognize them at a later time.
The most important functionality offered for a tree automaton is listing its language. It can be inspected by choosing "Show Language" in the tools dialogue. This brings up a language window. Otherwise the options in the tools dialogue are similar to those from the main GUI window.