Update dfa

Silas Kuderrequested to merge
fixed-DFA into distributed

Merge request reports