Regular-expression derivatives reexamined
finite automata and their decision problems .