DFA C#