you can take the derivative of a regular expression?!