Syntax-Tree Regular Expression Based DFA FormalConstruction
Derivatives of Regular Expressions