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.

状態遷移図のテンプレートをすべて見る →