8 marks · CO2 · Analyse
Construct an NFA over Σ = {a, b}
Design an NDFSM accepting the language of aa*(a+b).
Your machine · over {a, b}
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.