On Jan 26, 2017, at 5:16 PM, MRAB <python@mrabarnett.plus.com> wrote:

So, it seems as if regex already uses a better algorithm although I
couldn't find any reference to any regex theoretical framework like dfa,
nfa, thompson multiple-state simulation or something.

It still uses backtracking, like in the re module.