8 marks · CO1 · Apply
Construct an NFA over Σ = {a, b}
Design a nondeterministic FSM for L = {w ∈ {a,b}* : w = aba or |w| is even}.
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.