An overlay automata approach to regular expression matching
Curing regular expressions matching algorithms from insomnia, amnesia, and acalculia