Finite Automata

Model and test finite automata with this plugin.

Manual

Nodes

Drag the node from the right and drop it into the workspace.

State

To edit the state double-click on the node and you'll see this window:

Start

This is the first node, which is needed to start the simulation.

Edges

The edge mode is activated by clicking on the desired edge in the palette. An edge is drawn by dragging the mouse with a pressed left button from the start node to the end node. Click again on the edge in the palette to deactivate the edge.

Example

1. Create a start node and state nodes by dragging them into the workspace. Connect the start node with a state node with an edge called "Erzeuge Start-Transition". Connect the states with the "Erzeuge Zustands├╝bergang" edge.

2. Double-click to edit the transition.

3. To start the simulation enter the states in the field "verbleibende Eingaben". Then activate the check-box "Simulation". Click on the button "Schritt" to see the simulation.

Links

Finite-state machine

finite_automata_zustandseditor.png (11 KB) Johanna Schloetmann, 05/22/2013 12:06 PM

finiteautomata_palette.png (36.4 KB) Johanna Schloetmann, 05/23/2013 01:13 PM

finiteAutomata_example.png (16.4 KB) Johanna Schloetmann, 06/20/2013 02:28 PM

finiteAutomata_transitionsEditor.png (16.9 KB) Johanna Schloetmann, 06/20/2013 02:34 PM