Finite State Machine Designer

Create or load a state machine project.

Load

Goals of the FSM Designer!

Build legible state transition diagrams
Export images for capstone templates
Help UGTAs diagnose issues
Generate files that can be processed by an auto-grader python script to check validity of FSM steps.

Name

Machine Type

Number of States

Input variables (comma separated)

Output variables (comma separated)

Input values

Output values

Drag states from the left unused states tray onto the playmat
Ctrl + Drag a placed state to resize it.
Alt + Drag or Right-click Drag from state → state to create a transition arrow.
Drag the midpoint handle on an arrow to curve it and adjust snap points.
Scroll to zoom
Shift + Drag or Middle-Click Drag to pan.
Backspace on selected state or transition will delete that element.
Right-click an arrow to set inputs (and outputs for Mealy).

Machine Name

Type

States

Inputs

Outputs

#	State Binary	Label	Description	Outputs

Drag and drop columns in the Column Builder to arrange your transition table order.
Current state and input columns accept only 1 or 0.
Next state and output columns accept 1, 0, or X (don’t care).
Verify Transition Table Button checks the table against the Transition Diagram only—it does not validate the correctness of your logic.

Drag states from the palette onto the canvas to place them.
Alt + Drag (or Right-click Drag) from a state to draw a transition arrow.
Drag the dot on an arrow to curve or reposition it.
Alt + Click (or Right-click) an arrow label to set input/output values.
Ctrl + Drag a state to resize it. Double-click to change its color.
Shift + Drag or Middle-click Drag to pan. Scroll to zoom.