Regular Expression Derivatives in Python