ChatDiagram
automata theory · compiler design · formal languages

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

Tipo Diagrama de estadosNorma OMG UML 2.5.1 §14 + Harel (1987) statechartMecanismo schematex-stateAtualizado 28/09/2026
ε-NFA for (0|1)*101 using Thompson Construction
Drawing preview
O cenário

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.

O que há neste desenho

Entenda as decisões por trás dele.

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.

Ver todos os modelos de diagrama de estados →