Finite State Machine Simulator
Edit and inspect finite state machine simulator locally with an accessible diagram and complete export.
Enabling local controls…
Diagram and data
Edit inputs and build. All previews are generated locally.
Processing model and limits
Deterministic exact event matching. Reject duplicate(from,event), ≤80states/200events/300transitions. Missing transitions record an error and retain state; graph reachability is separate from the simulated trace. Local data only. Each field ≤32 KiB; ≤200 records, ≤80 graph nodes/300 edges, JSON depth30/nodes10000, ≤2000 coordinates. Complete result ≤1 MiB; diagram ≤8 million pixels and16384px per side. Edit text to move/reorder items; build again. SVG is a readable model, not an externally rendered image.
How to use this tool
Edit the labeled text fields, build, inspect the diagram and data, then copy or download JSON/SVG. Text editing provides the keyboard alternative to dragging.
When not to use it
Deterministic exact event matching. Reject duplicate(from,event), ≤80states/200events/300transitions. Missing transitions record an error and retain state; graph reachability is separate from the simulated trace. Local data only. Each field ≤32 KiB; ≤200 records, ≤80 graph nodes/300 edges, JSON depth30/nodes10000, ≤2000 coordinates. Complete result ≤1 MiB; diagram ≤8 million pixels and16384px per side. Edit text to move/reorder items; build again. SVG is a readable model, not an externally rendered image.