ChatDiagram
automata theory · compiler design · regex

Thompson ε-NFA for Identifier Regex

Typ ZustandsdiagrammStandard OMG UML 2.5.1 §14 + Harel (1987) statechartEngine schematex-stateAktualisiert 28.9.2026
Thompson ε-NFA for Identifier Regex
Drawing preview
Das Szenario

The identifier regex [a-zA-Z_][a-zA-Z0-9_]* is compiled into an ε-NFA using Thompson construction, demonstrating explicit ε transitions for concatenation and Kleene star.

Was diese Zeichnung zeigt

Die dahinterstehenden Entscheidungen verstehen.

01

Model the initial character class as a single transition from start to first_char

02

Use a loop state with ε exits to accept and ε loop-back for the star

03

Keep the accept state final with no outgoing edges

When teaching or implementing Thompson's construction for regex-to-NFA conversion, especially for identifiers with a required first character and optional subsequent characters.

Alle Zustandsdiagramm-Vorlagen durchsuchen →