Update dfa

Merged Silas Kuder requested to merge fixed-DFA into distributed

Merge request reports