GUI
Once you have started the GUI, you should see a window titled "IRTG GUI". This is the starting point for everything that you can do with the GUI. There are three drop down menus and we will discuss each one in turn.
You can load an IRTG grammar from a file by using the "Load IRTG" option in the file dialogue. Examples of IRTGs can be found in the examples folder in the distribution you obtain if you clone this repository. Loading a grammar brings up a Grammar Window. The format for IRTGs - as well as some alternative formats that the tool also understands - is described on the codec page.
You can also load a tree automaton from a file by using the "Load Tree Automaton" option in the file dialogue. You can find an example for a simple tree automaton here. The format for specifying tree automata is also described on the codec page.