LibFlaps is a simple tool to create Finite-state machines and Pushdown automatons. Finite-state machines and Pushdown automatons are concepts of Theoretical computer science used to analyze regular and context-free grammars.
In LibFlaps states can be created using the left mouse button. Transitions are created by holding shift and draging from one state to another. A right click removes states or transitions.
Whenn clicking on states or transitions a popup menu apears:
In the menu for states the label can be changed. Initial and final states can also be selected.
In the transition menu there is a list of transitions with their input required for the transition to occur. Following is the first element of the stack, a dropdown for the action on the stack (and the text to be pushed onto the stack).
These machines can be saved an opened as simple JSON files.
This application can be easily installed via flatpak, just download the de.egwagi.Libflaps.flatpak file, and install it using your software center.