Text this: Derivatives of Approximate Regular Expressions.