derivatives of regular expressions