DFA redefined with Dist