TAJA - Documentation
Index Opérations
This thumb index allows to execute the follows operations on Tree-tuples Automata : Union, Intersection, Complement, Emptyness, Inclusion, Equivalence, Projection, Join, Renaming.
- Automata management :
- The tree structure located on the left contains the automata that can be modified.
- The directory session contains all the automata saved while the current use.
- Bar tools
Open a tree structure (fichier .tal).
Save a tree structure.
Add the selected automaton in the parameters.
Display the selected automaton.
Insert the automaton in the selected file (do not forget to select a file!).
Delete the selection.
- How to carry out an operation:
- Select an operation in the drop-down list.
- Clik on the name of the automaton to select the paramaters and click on
.
- Click on
Opération
- The automaton result appears in the zone of text.
- Click on
Delete to start again .
- Operations Projection and Join
- Before carry out the operation, you must indicate the field to project or join.
- For the Projection, type the fields to project separate by "/".
- example : 1/3 to project on the first and third field.
- For the join, type the field to project same as the projection for the two automata, but the first separate by "." from the second.
- example : 1/3.2/3 to join on the first and third field of the first automaton and the second and third fild of the second automata.
- Saving the result :
Click on
Save.
Back to Table of Contents