The challenge
Translate human-readable infix expressions into correct deterministic state machines while preserving operator precedence and epsilon transitions.
PROJECT 08 / 2026
A console-based compiler theory project that makes the full regex-to-automaton pipeline visible, testable, and easy to reason about.
CASE STUDY
A quick, clear look at the thinking behind the project.
Translate human-readable infix expressions into correct deterministic state machines while preserving operator precedence and epsilon transitions.
A modular Java pipeline using postfix conversion, Thompson's construction, epsilon closures, subset construction, and DFA-based string simulation.
A documented validator supporting concatenation, union, Kleene star, grouping, transition tables, and accepted or rejected string results.