ChatDiagram
automata theory · compiler design · formal languages

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

유형 상태 다이어그램표준 OMG UML 2.5.1 §14 + Harel (1987) statechart엔진 schematex-state업데이트됨 2026. 9. 28.
ε-NFA for (0|1)*101 using Thompson Construction
Drawing preview
상황

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.

이 도면에 담긴 내용

그 이면의 의사결정을 읽어 보세요.

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.

모든 상태 다이어그램 템플릿 보기 →