How to Use the Automata Builder
- Double-click on empty space to add a new state.
- Shift + double-click a state to toggle it as an accepting state (double-ringed).
- Left-click a state to select it and start typing to change its label.
- Right-click on a state, then right-click on another state to create a transition. Self-loops are created by right-clicking the same state twice.
- Click the "Clear" button to reset the diagram.
- Subscripts, Greek letters, →, and ∪ are supported in labels. Example:
q_0, alpha, ->, sqcup