ChatDiagram
automata theory · compiler design · regex

Thompson ε-NFA for Identifier Regex

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

The identifier regex [a-zA-Z_][a-zA-Z0-9_]* is compiled into an ε-NFA using Thompson construction, demonstrating explicit ε transitions for concatenation and Kleene star.

이 도면에 담긴 내용

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

01

Model the initial character class as a single transition from start to first_char

02

Use a loop state with ε exits to accept and ε loop-back for the star

03

Keep the accept state final with no outgoing edges

When teaching or implementing Thompson's construction for regex-to-NFA conversion, especially for identifiers with a required first character and optional subsequent characters.

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