▸ Building the state diagram & transition table…
▸ Loading DFA machines (pattern · divisibility · gate · vending)
▸ Loading the timed machine (traffic light)
▸ Loading the NFA + ε-moves (many parallel states)
▸ Generating the input string & calibrating the token…
▸ Ready — Online. ✅