상황
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.