Skip to content
Tape‑n‑Trace
PracticeSearch 26 tools

← All exercises

8 marks · CO2 · AnalyseQuestion Bank #20(ii) · Module 2 · RE to ε-NFA (Thompson)

Construct an NFA over Σ = {0, 1}

Design an NDFSM accepting the language of (0+1)*(00+11).

Your machine · over {0, 1}

An NFA is fine — it is determinised before comparison.

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.

q0

States

StateStartAcceptingActions

Transitions (δ)

No transitions yet. Drag from one state to another on the diagram, or use the form above.

Hints1 available