8 marks · CO1 · Apply
Construct an NFA over Σ = {a, b, c}
Obtain an ε-NFA accepting zero or more a's, followed by zero or more b's, followed by zero or more c's.
Your machine · over {a, b, c}
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.