DFAFilter
