TAJA - Documentation
Index Properties
This thumb index allows to know if the automaton is complete, reduced and determinist. It also allows to complete, to reduce and determinise the automaton.
- Characteristic of the automaton:
They are displayed after " Initial automaton ".
The zone of text located below contains the description of the current automaton.
- Modify an automaton:
- Only one operation can be carried out at the same time.
- Tick the box corresponding to the expected modification.
- Click on
Modify
- The modified automaton then appears in the second zone of text. This description can be preceded by some information concerning the renamings possibly achieved by determinisation.
- Modified automaton:
- clik on
Save to save it
- clik on
Replace to be the current automaton
Back to Table of Contents