Uses Brzozowski derivatives to convert combinator-defined regexes to efficient DFAs for matching and recognition.