ChatDiagram
automata theory · compiler design · formal languages

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

Type Diagramme d’étatsNorme OMG UML 2.5.1 §14 + Harel (1987) statechartMoteur schematex-stateMis à jour 28/09/2026
ε-NFA for (0|1)*101 using Thompson Construction
Drawing preview
Le scénario

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.

Ce que contient ce dessin

Comprenez les décisions qui le sous-tendent.

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.

Voir tous les modèles de diagramme d’états →