added doc for dfa class