ChatDiagram
automata · regex · compiler

Thompson Construction ε-NFA for (a|b)*abb

סוג תרשים מצביםתקן OMG UML 2.5.1 §14 + Harel (1987) statechartמנוע schematex-stateעודכן 28.9.2026
Thompson Construction ε-NFA for (a|b)*abb
Drawing preview
התרחיש

Construct an ε-NFA for the regular expression (a|b)*abb using Thompson construction, connecting union, star, and concatenation sub-automata with epsilon transitions.

מה מופיע בתרשים הזה

פענחו את ההחלטות שמאחוריו.

01

Use epsilon transitions to link union branches and allow star repetition

02

Model the star with skip and loop-back epsilon edges

03

Mark final state after matching 'abb' as accepting sink

Reusable for any regex-to-NFA conversion using Thompson construction, especially for teaching compiler design or automata theory.

עיון בכל תבניות ה־תרשים מצבים ←