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.

瀏覽所有 狀態圖 範本 →