Regular Expression Derivatives in Python [pdf] [video]