add dump method for dfa