DFA Information should be able to be extracted.