Differential encoding of DFAs for fast regular expression matching