Informatik Regular Expressions From Deterministic Finite Automata , Revisited