ChatDiagram
automata theory · compiler design · formal languages

ε-NFA for (0|1)*101 using Thompson Construction

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

Construct the ε-NFA for the regular expression (0|1)*101 using Thompson's construction, illustrating the standard systematic method for building NFAs from regex operators.

Was diese Zeichnung zeigt

Die dahinterstehenden Entscheidungen verstehen.

01

Use separate epsilon transitions to enter and exit the Kleene star subexpression, plus a bypass for zero repetitions.

02

Model the union (0|1) with epsilon branches to the '0' and '1' alternatives that converge back.

03

Concatenate the star with the literal sequence 1-0-1 via an epsilon transition from the star's accept state to the start of the literal chain.

Useful when teaching or visualizing how Thompson's algorithm converts a regular expression into a nondeterministic finite automaton, especially for expressions with alternation, Kleene star, and concatenation.

Alle Zustandsdiagramm-Vorlagen durchsuchen →