Overview
Language DFA
—
Simulate
Trace 0
Input a sequence in Σ*…

Confirm Action

Are you sure you want to proceed?

Unsaved changes

Ask StateMate About This…
Add to StateMate Context
Set Start
Toggle Accept
Rename
Add Note
Highlight Outgoing Edges
Highlight Incoming Edges
Group into Block
Cut
Copy
Delete
Open Block
Rename Block
Save to Library…
Ungroup Block
Cut
Copy
Delete Block and Contents
Edit Transition
Duplicate/Add Parallel Transition
Reverse Direction
Reset Shape
Add Note
Delete Transition(s)
Edit Note
Anchor to Selection
Detach (Make Free)
Reset Note Size
Delete Note
Edit Label & Style
Straighten to Axis
Delete
Save Machine As…Ctrl+Shift+S
Export as Image…
Export as Code / Spec…
Copy Shareable Link
Ask StateMate…
Add State Here
Add Note Here
Describe This Machine…
Paste
Select All
Auto-Layout
Fit to Screen