After reading the article, I'm guessing that they might be using a DFA engine, but I'd love to be proven wrong.

Cheers,
Ben