TAJA - Documentation
Index Symbols and States
This thumb index is for entering the symbols and the states of an automaton.
- Syntax of symbols and states:
- Any string that does not contain characters among: , ; ( )
- The states that contain { } are renamed when determinizing automata.
- Add a symbol:
- Click in the field "enter a symbol"
- Type a symbol in the form name/arity
- Press enter
- The symbol is added in the list of symbols
- Add a state:
- Click in the field "enter a state"
- Type the name of the state
- If the state is not final press enter
- Else tick the box "Final state"
- The state is added in the list of states.
- Deleting of states or symbols:
- Select the items to remove.
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: the rules which uses the deleted items are deleted automatically.
Back to Table of Contents