8 marks · CO1 · Apply
Construct a DFA over Σ = {0, 1}
Design a DFSM for L = {w ∈ {0,1}* : w has 001 as a substring}.
Your machine · over {0, 1}
Click empty space to add a state. Drag one state onto another to connect them. Double-click a state to make it accepting, right-click it to make it the start. Click an edge to edit its label.
States
| State | Start | Accepting | Actions |
|---|---|---|---|
Transitions (δ)
No transitions yet. Drag from one state to another on the diagram, or use the form above.