Added Dfa comments