ChatDiagram
automata · regex · compiler

Thompson Construction ε-NFA for (a|b)*abb

Typ ZustandsdiagrammStandard OMG UML 2.5.1 §14 + Harel (1987) statechartEngine schematex-stateAktualisiert 28.9.2026
Thompson Construction ε-NFA for (a|b)*abb
Drawing preview
Das Szenario

Construct an ε-NFA for the regular expression (a|b)*abb using Thompson construction, connecting union, star, and concatenation sub-automata with epsilon transitions.

Was diese Zeichnung zeigt

Die dahinterstehenden Entscheidungen verstehen.

01

Use epsilon transitions to link union branches and allow star repetition

02

Model the star with skip and loop-back epsilon edges

03

Mark final state after matching 'abb' as accepting sink

Reusable for any regex-to-NFA conversion using Thompson construction, especially for teaching compiler design or automata theory.

Alle Zustandsdiagramm-Vorlagen durchsuchen →