Regular-expression derivatives reexamined
From regular expressions to deterministic automata