Regular Expression engines using derivatives