rename DAE to DFA and improve README (add special thanks)