Update dfa.js