TAJA - Documentation
Index Transitions
This thumb index allows to define the transition rules.
- Entry of a transition rules :
- Select a symbol in the first drop-down list or type in the text zone.
- Select the states in the second list or type in the text zone.
The transition must be normalized and in the form f(q1,...qn)->qk
- Click
Add or press Enter to add a transition rule or in
New to start again.
- Delete transitions rules:
- Select the rules to delete.
The multiple selections are carried out by the combination ctrl-click
The selections of intervals are carried out using a shift-click
- Click on
Delete
- Remark: after deleting transition rules, states or a symbols that appear in no transition rules are not deleted.
- Validate an automaton:
Once all the sets created, clik on OK to reach the index " Properties and " Run ".
If the automaton is accepted by TAJA these indexes are actived.
Back to Table of Contents