Usage tutorial

Welcome to the Automata Constructor usage tutorial!

To start automaton editing you should select edit mode from the toolbar on the right or press E

• Create states by clicking on the scene
• To create a transition between states select source state and then select target state
• To create self-looped transition select state and click on it again
• Click on the pen-icon button on a state to edit attributes such as name and to define is state initial or accepting
• Write transition tokens on the from on a transition

To delete states and transitions select delete mode from the toolbar or press D and delete elements by click

To move elements on the scene select select mode from the toolbar or press S

Scene has some helpful panels to analyze your automaton *On the top right corner of the scene, you can see the type of your machine *On the bottom right corner of the scene, you can see errors in the machine

On the bottom you can see execution panel

• Enter a string to debug the automaton on it into the form
• Click on the run button and see the result on the right
• Click start debug to init step-by-step execution
• Click step and see a state of the automaton on the scene

To write automatic tests open test panel on the top left corner of the scene

• Click add new to create a new test
• You can edit test string, define if test string should be rejected or not, remove the test and run it on the test panel
• Click run all to execute all tests

To save or load machines and test packages open click file on the top