Update dfa.rb